Samuel R. Buss. An introduction to proof theory. Handbook of proof theory, edited by Samuel R. Buss, Studies in logic and the foundations of mathematics, vol. 137, Elsevier, Amsterdam etc. 1998, p. v., pp. 1–78.

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

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/420968

The following have contributed to this page: Samuel R Buss