00897nam0-2200301---450-99000961483040332120120829095935.0978-88-483-1399-5000961483FED01000961483(Aleph)000961483FED0100096148320120829d2012----km-y0itay50------baitay-------001yyEsercitest 12[eserciziario commentato per tutti i test ammissione delle aree economia giurisprudenza delle università statali[Carlo Tabacchi...et al.]MilanoAlpha Test2012XXI, 226 p.23 cmTestuniversitari371.4Tabacchi,CarloITUNINARICAUNIMARCBK990009614830403321TAB371.4A20598DECBCDECBCEsercitest 12849150UNINA01803nam0 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