On intuitionistic arithmetic and number theory (1965)

by K Gödel
Venue:in The Undecidable: Basic Papers on Undecidable Propositions, Unsolvable Problems and Computable Functions