Gödel remembered
Subtitle: Salzburg 10-12 July 1983
By: R. Gödel ... [et al.] ; edited by Paul Weingartner and Leopold Schmetterer.
Contributors: Gödel, R.; Weingartner, Paul.; Schmetterer, Leopold, 1919-; Österreichische Akademie der Wissenschaften.; Institut für Wissenschaftstheorie (Salzburg, Austria)
Series: History of logic ;; 4
Publisher: Bibliopolis
Published: 1987
Place of publication: Napoli [Naples]
Language: eng
Number of pages: 186
Subjects: Gödel, Kurt -- Congresses.; Logic, Symbolic and mathematical -- Congresses.
Notes: Includes bibliographies.
Symposium sponsored by Österreichische Akademie der Wissenschaften, Wien and Institut für Wissenschaftstheorie, Salzburg.
Table of contents: title: History of the Gödel family / Rudolf Gödel; title: Remembrances of Kurt Gödel / Olga Taussky-Todd; title: Appendix; title: Ernst Zermelo, a letter to Reinhold Baer; title: Gödel's impression on students of logic in the 1930s / Stephen C. Kleene; title: Gödel's excursions into intuitionistic logic / Georg Kreisel.