Advances in mathematical logic. Dedicated to the memory of Professor Gaisi Takeuti, SAML 2018. Selected, revised contributions based on the presentations at the symposium, Kobe, Japan, September 18--20, 2018
DOI10.1007/978-981-16-4173-2zbMath1479.03003OpenAlexW4206974649MaRDI QIDQ2074790
No author found.
Publication date: 10 February 2022
Published in: Springer Proceedings in Mathematics \& Statistics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-981-16-4173-2
Proceedings of conferences of miscellaneous specific interest (00B25) Festschriften (00B30) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) General logic (03Bxx) Proof theory and constructive mathematics (03Fxx) Set theory (03Exx)
This page was built for publication: Advances in mathematical logic. Dedicated to the memory of Professor Gaisi Takeuti, SAML 2018. Selected, revised contributions based on the presentations at the symposium, Kobe, Japan, September 18--20, 2018