LEADER 01219nam0-2200421-i-450-
001 990009793260403321
005 20131121134408.0
010   $a978-1-4614-5745-9$bpaperback
035   $a000979326
035   $aFED01000979326
035   $a(Aleph)000979326FED01
035   $a000979326
100   $a20131121d2013----km-y0itay50------ba
101 0 $aeng
102   $aUS
105   $aa---a---001yy
200 1 $a<<A >>course on mathematical logic$fShashi Mohan Srivastava
205   $a2. ed.
210   $aNew York$cSpringer$d2013
215   $aIX, 198 p.$d24 cm
225 1 $aUniversitext
610 0 $aLogica matematica e fondamenti
610 0 $aLogica classica del primo ordine
610 0 $aEliminazione dei quantificatori$aCompletezza del modello ed argomenti collegati
610 0 $aUltraprodotti e costruzioni collegate
676   $a511.3$v21$zita
700  1$aSrivastava,$bShashi Mohan$0521449
801  0$aIT$bUNINA$gREICAT$2UNIMARC
901   $aBK
912   $a990009793260403321
952   $aC-6-(260$b244$fMA1
959   $aMA1
962   $a03-XX
962   $a03B10
962   $a03C10
962   $a03C20
996   $aCourse on mathematical logic$9836919
997   $aUNINA