02076nam0 2200385 i 450 VAN006028520240102095459.56835-402-0879-820070709d2004 |0itac50 baengDE|||| |||||Logic and structureDirk van Dalen4. edBerlinSpringer2004X, 263 p.24 cm001VAN00245062001 Universitext210 Berlin [etc]Springer1930-03C07Basic properties of first-order languages and structures [MSC 2020]VANC024469MF03B10Classical first-order logic [MSC 2020]VANC024530MF03B16Higher-order logic [MSC 2020]VANC024531MF03F05Cut-elimination and normal-form theorems [MSC 2020]VANC024532MF03B38Type theory [MSC 2020]VANC035911MFBerlinVANL000066DalenDirk vanVANV039208535955Springer <editore>VANV108073650ITSOL20240614RICA/sebina/repository/catalogazione/documenti/van Dalen - Logic and structure. 4th ed..pdfContentsVAN0060285BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08CONS 03-XX 4682 08 7840 I a 20070709 BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 03-XX 4682 08 7842 I c 20070709 BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 03-XX 4682 08 8672 I e 20091125 BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 03-XX 4682 08 7841 I b 20070709 BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 03-XX 4682 08 7843 I d 20070709 Logic and structure925498UNICAMPANIA