On the Interpretation of Non-Finitist Proofs--Part I

• 1 December 1951
• journal article
• Published by Cambridge University Press (CUP) in The Journal of Symbolic Logic
• Vol. 16  (4) , 241
• https://doi.org/10.2307/2267908

Abstract

Keywords

• PART
• INTERPRETATION OF NON FINITIST PROOFS