LEADER 02119nam0 2200385 i 450 
001 SUN0060285
005 20201006111554.499
010   $a35-402-0879-8$d0.00
100   $a20070709d2004       |0engc50      ba
101   $aeng
102   $aDE
105   $a||||    |||||
200 1 $aLogic and structure$fDirk van Dalen
205   $a4. ed
210   $aBerlin$cSpringer$d2004
215   $aX, 263 p.$d24 cm.
410  1$1001SUN0024506$12001 $a*Universitext$1210  $aBerlin$cSpringer.
606   $a03C07$xBasic properties of first-order languages and structures [MSC 2020]$2MF$3SUNC024469
606   $a03B10$xClassical first-order logic [MSC 2020]$2MF$3SUNC024530
606   $a03B16$xHigher-order logic [MSC 2020]$2MF$3SUNC024531
606   $a03F05$xCut-elimination and normal-form theorems [MSC 2020]$2MF$3SUNC024532
606   $a03B38$xType theory [MSC 2020]$2MF$3SUNC035911
620   $dBerlin$3SUNL000066
700  1$aDalen$b, Dirk van$3SUNV039208$0535955
712   $aSpringer$3SUNV000178$4650
801   $aIT$bSOL$c20201012$gRICA
856 4 $u/sebina/repository/catalogazione/documenti/van Dalen - Logic and structure. 4th ed..pdf$zContents
912   $aSUN0060285
950   $aUFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08PREST     03-XX                   4682        $e08   7842      I c     20070709            
950   $aUFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08PREST     03-XX                   4682        $e08   8672      I e     20091125            
950   $aUFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08CONS      03-XX                   4682        $e08   7840      I a     20070709            
950   $aUFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08PREST     03-XX                   4682        $e08   7841      I b     20070709            
950   $aUFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08PREST     03-XX                   4682        $e08   7843      I d     20070709            
996   $aLogic and structure$9925498
997   $aUNICAMPANIA