Fragments of Bounded Arithmetic and the Lengths of Proofs
Pavel PudlákVolume:
73
Language:
english
Journal:
The Journal of Symbolic Logic
DOI:
10.2307/27590340
Date:
December, 2008
File:
PDF, 1.35 MB
english, 2008