01929nam0 22004691i 450 VAN0004980020250506102127.7703-87578-39-035-405-7839-020060822d1994 |0itac50 baengDE|||| |||||i e nncLogic 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>VANV108073650ITSOL20250509RICA/sebina/repository/catalogazione/documenti/LOGIC AND STRUCTURES 1994.pdfLOGIC AND STRUCTURES 1994.pdfBIBLIOTECA DEL DIPARTIMENTO DI ECONOMIAIT-CE0106VAN03BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08VAN00049800BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08CONS 8A67 08 4370 20060822 DeterioratoBIBLIOTECA DEL DIPARTIMENTO DI ECONOMIA03PREST VCi1 03 32523 20160613 Logic and structure925498UNICAMPANIA