![](/img/cover-not-exists.png)
First-Order Proof Theory of Arithmeticby Samuel R. Buss
Review by: Toshiyasu AraiVolume:
6
Language:
english
Journal:
The Bulletin of Symbolic Logic
DOI:
10.2307/420969
Date:
December, 2000
File:
PDF, 202 KB
english, 2000