Zur intuitionistischen arithmetik und zahlentheorie. Ergebnisse eines mathematischen Kolloquiums, 4:34–38 (1933)

by Kurt Gödel
Venue:in [199], reprinted in [72] (1933e