Toshiyasu Arai

2 books

Advances in Mathematical Logic: Dedicated to the Memory of Professor Gaisi Takeuti, SAML 2018, Kobe, Japan, September 2018, Selected, Revised Contributions by Toshiyasu Arai, Satoru Kuroda, Makoto Kikuchi, Teruyuki Yorioka, Mitsuhiro Okada
Advances in Mathematical Logic: Dedicated to the Memory of Professor Gaisi Takeuti, SAML 2018, Kobe, Japan, September 2018, Selected, Revised Contributions
—
Toshiyasu Arai, Satoru Kuroda, Makoto Kikuchi, Teruyuki Yorioka, Mitsuhiro Okada

Advances in Mathematical Logic: Dedicated to the Memory of Professor Gaisi Takeuti, SAML 2018, Kobe, Japan, September 2018, Selected, Revised Contributions

Toshiyasu Arai, Satoru Kuroda, Makoto Kikuchi, Teruyuki Yorioka, Mitsuhiro Okada

229 pages

Ordinal Analysis with an Introduction to Proof Theory by Toshiyasu Arai

Ordinal Analysis with an Introduction to Proof Theory

Logic in Asia: Studia Logica Library

Toshiyasu Arai

313 pages • hardcover

nonfiction mathematics philosophy