Advances in Mathematical Logic : Dedicated to the Memory of Professor Gaisi Takeuti, SAML 2018, Kobe, Japan, September 2018, Selected, Revised Contributions / Toshiyasu Arai ... [et al.] editors
Pubbl/distr/stampa
Singapore, : Springer, 2021
Descrizione fisica
xi, 229 p. : ill. ; 24 cm
Soggetti
03-XX - Mathematical logic and foundations [MSC 2020]
03Exx - Set theory [MSC 2020]
00B25 - Proceedings of conferences of miscellaneous specific interest [MSC 2020]
00B30 - Festschriften [MSC 2020]
03Fxx - Proof theory and constructive mathematics [MSC 2020]