02119nam0 2200385 i 450 SUN006028520201006111554.49935-402-0879-80.0020070709d2004 |0engc50 baengDE|||| |||||Logic and structureDirk van Dalen4. edBerlinSpringer2004X, 263 p.24 cm.001SUN00245062001 *Universitext210 BerlinSpringer.03C07Basic properties of first-order languages and structures [MSC 2020]MFSUNC02446903B10Classical first-order logic [MSC 2020]MFSUNC02453003B16Higher-order logic [MSC 2020]MFSUNC02453103F05Cut-elimination and normal-form theorems [MSC 2020]MFSUNC02453203B38Type theory [MSC 2020]MFSUNC035911BerlinSUNL000066Dalen, Dirk vanSUNV039208535955SpringerSUNV000178650ITSOL20201012RICA/sebina/repository/catalogazione/documenti/van Dalen - Logic and structure. 4th ed..pdfContentsSUN0060285UFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 03-XX 4682 08 7842 I c 20070709 UFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 03-XX 4682 08 8672 I e 20091125 UFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08CONS 03-XX 4682 08 7840 I a 20070709 UFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 03-XX 4682 08 7841 I b 20070709 UFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 03-XX 4682 08 7843 I d 20070709 Logic and structure925498UNICAMPANIA