Samuel R. Buss. First-order proof theory of arithmetic. Handbook of proof theory, edited by Samuel R. Buss, Studies in logic and the foundations of mathematics, vol. 137, Elsevier, Amsterdam etc. 1998, pp. 79–147.

Toshiyasu Arai
  • Bulletin of Symbolic Logic, December 2000, Cambridge University Press
  • DOI: 10.2307/420969

The authors haven't finished explaining this publication. If you are the author, sign in to claim or explain your work.

Read Publication

http://dx.doi.org/10.2307/420969

The following have contributed to this page: Samuel R Buss