01697nam0 22004453i 450 VAN026161420230719094721.401N978366208402120230719d1980 |0itac50 baengDE|||| |||||Logic and structureDirk van DalenBerlinSpringer1980ix, 174 p.24 cm001VAN00245062001 Universitext210 Berlin [etc]Springer1930-Basic model theoryKW:KComputability theoryKW:KFirst-order logic with natural deductionKW:KGoedel's theoremKW:KIntuitionistic logic and semanticsKW:KModel theoryKW:KNormalisation of first-order logicKW:KPredicate logicKW:KProof TheoryKW:KProofsKW:KRecursive functionsKW:KSecond order logicKW:KSet TheoryKW:KBerlinVANL000066DalenDirk vanVANV039208535955Springer <editore>VANV108073650ITSOL20240614RICAhttps://doi.org/10.1007/978-3-662-08402-1E-book – Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o ShibbolethBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08NVAN0261614BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08CONS e-book 6297 08eMF6297 20230727 Logic and structure925498UNICAMPANIA