A Theorem on Shortening the Length of Proof in Formal Systems of Arithmetic
Robert A. Di PaolaVolume:
40
Language:
english
Journal:
The Journal of Symbolic Logic
DOI:
10.2307/2272163
Date:
September, 1975
File:
PDF, 168 KB
english, 1975