Zur intuitionistischen Arithmetik und Zahlentheorie. Ergebnisse eines (1933)

by K Gdel
Venue:Mathematischen Kolloquiums