On the interpretation of non-finitist proofs, part II: Interpretation of number theory (1952)

by G Kreisel
Venue:The Journal of Symbolic Logic