01805nam0 22004213i 450 VAN026182420231103022907.851N978354038633920230721d1981 |0itac50 baengDE|||| |||||Logic Symposia, Hakone1979, 1980Proceedings of Conferences Held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980edited by G.H. Müller, G. Takeuti, T. TugueBerlinSpringer1981xiv, 398 p.24 cm001VAN01022502001 Lecture notes in mathematics210 Berlin [etc.]Springer89103-XXMathematical logic and foundations [MSC 2020]VANC019750MF00BxxConference proceedings and collections of articles [MSC 2020]VANC021742MFArithmeticKW:KFiniteKW:KLogicKW:KMathematical logicKW:KProofsKW:KSet TheoryKW:KTransfinite inductionKW:KBerlinVANL000066MüllerGert H.VANV094692TakeutiGaisiVANV216273TugueTosiyukiVANV216274Springer <editore>VANV108073650ITSOL20240614RICAhttps://doi.org/10.1007/BFb0090974E-book – Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o ShibbolethBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08NVAN0261824BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08CONS e-book 6369 08eMF6369 20230731 Logic Symposia, Hakone1979, 19803403074UNICAMPANIA