LEADER 02076nam0 2200385 i 450 001 VAN0060285 005 20240102095459.568 010 $a35-402-0879-8 100 $a20070709d2004 |0itac50 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$1001VAN0024506$12001 $aUniversitext$1210 $aBerlin [etc]$cSpringer$d1930- 606 $a03C07$xBasic properties of first-order languages and structures [MSC 2020]$3VANC024469$2MF 606 $a03B10$xClassical first-order logic [MSC 2020]$3VANC024530$2MF 606 $a03B16$xHigher-order logic [MSC 2020]$3VANC024531$2MF 606 $a03F05$xCut-elimination and normal-form theorems [MSC 2020]$3VANC024532$2MF 606 $a03B38$xType theory [MSC 2020]$3VANC035911$2MF 620 $dBerlin$3VANL000066 700 1$aDalen$bDirk van$3VANV039208$0535955 712 $aSpringer $3VANV108073$4650 801 $aIT$bSOL$c20240614$gRICA 856 4 $u/sebina/repository/catalogazione/documenti/van Dalen - Logic and structure. 4th ed..pdf$zContents 912 $aVAN0060285 950 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08CONS 03-XX 4682 $e08 7840 I a 20070709 950 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08PREST 03-XX 4682 $e08 7842 I c 20070709 950 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08PREST 03-XX 4682 $e08 8672 I e 20091125 950 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08PREST 03-XX 4682 $e08 7841 I b 20070709 950 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08PREST 03-XX 4682 $e08 7843 I d 20070709 996 $aLogic and structure$9925498 997 $aUNICAMPANIA