The modern development of the foundations of mathematics in the light of philosophy (1961)

by K Gödel
Venue:Manuscript (published in [Gödel