01714nam0 22004453i 450 VAN0029234420250506102127.77N978366202962620250506d1994 |0itac50 baengDE|||| |||||i e bcrLogic and structureDirk van Dalen3.augmented edBerlinSpringer1994viii, 215 p.24 cm001VAN000245062001 Universitext210 Berlin [etc]Springer1930-03-XXMathematical logic and foundations [MSC 2020]VANC019750MFFirst-order logic with natural deductionKW:KGödel incompleteness theoremKW:KIntuitionistic logic and semanticsKW:KModel theoryKW:KNormalisation of first-order logicKW:KPredicate logicKW:KRecursive functionsKW:KSecond order logicKW:KBerlinVANL000066DalenDirk vanVANV039208535955Springer <editore>VANV108073650ITSOL20250627RICAhttps://doi.org/10.1007/978-3-662-02962-6E-book – Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o ShibbolethBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08NVAN00292344BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08DLOAD e-Book 11567 08eMF11567 20250625 Logic and structure925498UNICAMPANIA