Hilbert's Program Relativized: Proof-Theoretical and Foundational Reductions
Solomon FefermanVolume:
53
Language:
english
Journal:
The Journal of Symbolic Logic
DOI:
10.2307/2274509
Date:
June, 1988
File:
PDF, 616 KB
english, 1988