LEADER 01846nam0 22004333i 450 001 VAN00268811 005 20240806101526.422 017 70$2N$a9781461386018 100 $a20231214d1985 |0itac50 ba 101 $aeng 102 $aUS 105 $a|||| ||||| 200 1 $aSelf-Reference and Modal Logic$fC. Smory?ski 210 $aNew York$cSpringer-Verlag$d1985 215 $axii, 333 p.$d24 cm 410 1$1001VAN00024506$12001 $aUniversitext$1210 $aBerlin [etc]$cSpringer$d1930- 606 $a03-XX$xMathematical logic and foundations [MSC 2020]$3VANC019750$2MF 606 $a03A05$xPhilosophical and critical aspects of logic and foundations [MSC 2020]$3VANC024501$2MF 606 $a03B30$xFoundations of classical theories (including reverse mathematics) [MSC 2020]$3VANC019969$2MF 606 $a03B45$xModal logic (including the logic of norms) [MSC 2020]$3VANC024404$2MF 610 $aAddition$9KW:K 610 $aAlgebra$9KW:K 610 $aArithmetic$9KW:K 610 $aCalculation$9KW:K 610 $aLogic$9KW:K 610 $aModel theory$9KW:K 610 $aProof Theory$9KW:K 610 $aProofs$9KW:K 620 $aUS$dNew York$3VANL000011 700 1$aSmory?ski$bCraig$3VANV051553$059490 712 $aSpringer $3VANV108073$4650 801 $aIT$bSOL$c20250530$gRICA 856 4 $uhttps://doi.org/10.1007/978-1-4613-8601-8$zE-book ? Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o Shibboleth 899 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$1IT-CE0120$2VAN08 912 $fN 912 $aVAN00268811 950 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08DLOAD e-book 7737 $e08eMF7737 20231218 996 $aSelf - Reference and modal logic$9331706 997 $aUNICAMPANIA