LEADER 01394nam0-2200469-i-450 
001 990009804340403321
005 20221107124710.0
010   $a978-1-4471-4557-8$bpaperback
035   $a(Aleph)000980434FED01
100   $a20131220d2013----km-y0itay50------ba
101 0 $aeng
102   $aGB
105   $aa---a---001yy
200 1 $aLogic and structure$fDirk van Dalen
205   $a5. ed.
210   $aLondon$cSpringer$d2013
215   $aX, 263 p.$d24 cm
225 1 $aUniversitext
610 0 $aLogica matematica e fondamenti$aEsposizione didattica
610 0 $aDecidibilità di teorie e di insiemi di sentenze
610 0 $aLogica classica del primo ordine
610 0 $aLogica di ordine superiore e teoria dei tipi
610 0 $aSottosistemi della logica classica
610 0 $aProprietà base dei linguaggi e delle strutture del primo ordine
610 0 $aUltraprodotti e costruzioni collegate
676   $a511.3$v21$zita
700  1$avan Dalen,$bDirk$0521698
801  0$aIT$bUNINA$gREICAT$2UNIMARC
901   $aBK
912   $a990009804340403321
952   $aC-6-(34-5ED$b343$fMA1
952   $aC-6-(34-5ED-BIS$bsenza inv.$fMA1
959   $aMA1
962   $a03-01
962   $a03B25
962   $a03B10
962   $a03B15
962   $a03B20
962   $a03C07
962   $a03C20
996   $aLogic and structure$9837692
997   $aUNINA