LEADER 01424nam0-2200457-i-450-
001 990009472520403321
005 20111103125611.0
010   $a978-1-4471-2175-6
010   $a978-1-4471-2176-3
035   $a000947252
035   $aFED01000947252
035   $a(Aleph)000947252FED01
035   $a000947252
100   $a20111103d2011----km-y0itay50------ba
101 0 $aeng
102   $aGB
105   $aa---a---001yy
200 1 $aMathematical logic and model theory$ea brief introduction$fAlexander Prestel, Charles N. Delzell
210   $aLondon$cSpringer$d2011
215   $aX, 193 p.$d24 cm
225 1 $aUniversitext
610 0 $aLogica matematica e fondamenti$aEsposizione didattica
610 0 $aLogica classica del primo ordine
610 0 $aProprietà base dei linguaggi e delle strutture del primo ordine
610 0 $aEliminazione dei quantificatori$aCompletezza del modello ed argomenti collegati
610 0 $aApplicazioni della teoria di modelli
676   $a511.3$v21$zita
700  1$aPrestel,$bAlexander$058277
701  1$aDelzell,$bCharles N.$062841
801  0$aIT$bUNINA$gREICAT$2UNIMARC
901   $aBK
912   $a990009472520403321
952   $aC-6-(242$b24925$fMA1
959   $aMA1
962   $a03-01
962   $a03B10
962   $a03C07
962   $a03C10
962   $a03C98
996   $aMathematical logic and model theory$9852468
997   $aUNINA