On the Interpretation of Non-Finitist Proofs – Part II. Interpretation of Number Theory (1952)

by G Kreisel
Venue:Journal of Symbolic Logic