01846nam0 22004333i 450 VAN0026881120240806101526.422N978146138601820231214d1985 |0itac50 baengUS|||| |||||Self-Reference and Modal LogicC. SmoryńskiNew YorkSpringer-Verlag1985xii, 333 p.24 cm001VAN000245062001 Universitext210 Berlin [etc]Springer1930-03-XXMathematical logic and foundations [MSC 2020]VANC019750MF03A05Philosophical and critical aspects of logic and foundations [MSC 2020]VANC024501MF03B30Foundations of classical theories (including reverse mathematics) [MSC 2020]VANC019969MF03B45Modal logic (including the logic of norms) [MSC 2020]VANC024404MFAdditionKW:KAlgebraKW:KArithmeticKW:KCalculationKW:KLogicKW:KModel theoryKW:KProof TheoryKW:KProofsKW:KUSNew YorkVANL000011SmoryńskiCraigVANV05155359490Springer <editore>VANV108073650ITSOL20250530RICAhttps://doi.org/10.1007/978-1-4613-8601-8E-book – Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o ShibbolethBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08NVAN00268811BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08DLOAD e-book 7737 08eMF7737 20231218 Self - Reference and modal logic331706UNICAMPANIA