LEADER 01805nam0 22004213i 450 001 VAN0261824 005 20231103022907.851 017 70$2N$a9783540386339 100 $a20230721d1981 |0itac50 ba 101 $aeng 102 $aDE 105 $a|||| ||||| 200 1 $aLogic Symposia, Hakone1979, 1980$eProceedings of Conferences Held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980$fedited by G.H. Müller, G. Takeuti, T. Tugue 210 $aBerlin$cSpringer$d1981 215 $axiv, 398 p.$d24 cm 461 1$1001VAN0102250$12001 $aLecture notes in mathematics$1210 $aBerlin [etc.]$cSpringer$v891 606 $a03-XX$xMathematical logic and foundations [MSC 2020]$3VANC019750$2MF 606 $a00Bxx$xConference proceedings and collections of articles [MSC 2020]$3VANC021742$2MF 610 $aArithmetic$9KW:K 610 $aFinite$9KW:K 610 $aLogic$9KW:K 610 $aMathematical logic$9KW:K 610 $aProofs$9KW:K 610 $aSet Theory$9KW:K 610 $aTransfinite induction$9KW:K 620 $dBerlin$3VANL000066 702 1$aMüller$bGert H.$3VANV094692 702 1$aTakeuti$bGaisi$3VANV216273 702 1$aTugue$bTosiyuki$3VANV216274 712 $aSpringer $3VANV108073$4650 801 $aIT$bSOL$c20240614$gRICA 856 4 $uhttps://doi.org/10.1007/BFb0090974$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 $aVAN0261824 950 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08CONS e-book 6369 $e08eMF6369 20230731 996 $aLogic Symposia, Hakone1979, 1980$93403074 997 $aUNICAMPANIA