die Lange von Beweisen, Ergebnisse eines Mathematischen Kolloquiums (1986)

by Uber
Venue:English translation in Kurt Godel: Collected Works