Toshiyasu Arai

Books by Toshiyasu Arai

Total count: 3

• Proceedings of the 11th Asian Logic ConferenceIn Honor of Professor Chong Chitat on His 60th Birthday, National University of Singapore, Singapore, 22-27 June 2009

  World Scientific Publishing Co Pte Ltd2011-01-01
• 
  Ordinal Analysis with an Introduction to Proof Theory

  Springer2020-09-22
• Advances in Mathematical LogicDedicated to the Memory of Professor Gaisi Takeuti, SAML 2018, Kobe, Japan, September 2018, Selected, Revised Contributions

  Springer Singapore Pte. Limited2021-01-01