01803nam0 22004693i 450 VAN026281120231123022600.562N978366202382220230901d1983 |0itac50 baengDE|||| |||||Logic and structureDirk van Dalen2. edBerlinSpringer1983x, 210 p.24 cm001VAN00245062001 Universitext210 Berlin [etc]Springer1930-03-XXMathematical logic and foundations [MSC 2020]VANC019750MFBasic 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-02382-2E-book – Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o ShibbolethBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08NVAN0262811BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08CONS e-book 6541 08eMF6541 20230905 Logic and structure925498UNICAMPANIA