On the interpretation of non-finitist proofs - part (1951)

by G Kreisel
Venue:I. J. Symb. Log