Gödel Remembered: [Symposium] in Salzburg 10-12 July 1983 by Gödel-Symposium, Salzburg), Rudolf, Gödel fromHistory of Logic 0 Type: Book
