The Lengths of Proofsby Pavel Pudlák
Review by: Toshiyasu AraiVolume:
6
Language:
english
Journal:
The Bulletin of Symbolic Logic
DOI:
10.2307/420975
Date:
December, 2000
File:
PDF, 151 KB
english, 2000