Symposium sponsored by Österreichische Akademie der Wissenschaften, Wien and Institut für Wissenschaftstheorie, Salzburg
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Includes bibliographical references
CONTENTS NOTE
Text of Note
History of the Gödel family / Rudolf Gödel -- Remembrances of Kurt Gödel / Olga Taussky-Todd -- Appendix--Ernst Zermelo, a letter to Reinhold Baer -- Gödel's impression on students of logic in the 1930s / Stephen C. Kleene -- Gödel's excursions into intuitionistic logic / Georg Kreisel