![](/img/cover-not-exists.png)
An Introduction to Proof Theoryby Samuel R. Buss
Review by: Toshiyasu AraiVolume:
6
Language:
english
Journal:
The Bulletin of Symbolic Logic
DOI:
10.2307/420968
Date:
December, 2000
File:
PDF, 139 KB
english, 2000