Logic Symposia, Hakone1979, 1980 : Proceedings of Conferences Held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980 / edited by G.H. Müller, G. Takeuti, T. Tugue
Pubbl/distr/stampa
Berlin, : Springer, 1981
Descrizione fisica
xiv, 398 p. ; 24 cm
Soggetti
00Bxx - Conference proceedings and collections of articles [MSC 2020]
03-XX - Mathematical logic and foundations [MSC 2020]