This book is currently unavailable on Open Library, check out available alternatives.
An edition of Gödel remembered (1987)

Gödel remembered

Salzburg 10-12 July 1983

by

Gödel remembered
Gödel-Symposium in Salzburg (...
Gödel remembered by Gödel-Symposium in Salzburg (1983), Gödel-Symposium in Salzburg (1983)
Nearby Libraries
Better World Books
Amazon
Bookshop.org
When you buy books using these links the Internet Archive may earn a small commission.

Only you can see this

Save Note
This book is currently unavailable on Open Library, check out available alternatives.
Last edited by MARC Bot
July 22, 2024 | History
Edit
An edition of Gödel remembered (1987)

Gödel remembered

Salzburg 10-12 July 1983

by

This work doesn't have a description yet. Can you add one?

Publish Date
Publisher
Bibliopolis
Language
English
Pages
186

Subjects

Congresses Symbolic and mathematical Logic Goedel's theorem Logicians Biography

People

Kurt Gödel
Edition Availability
Cover of: Gödel remembered
Gödel remembered: Salzburg 10-12 July 1983
1987, Bibliopolis
in English
  • Nearby Libraries

Add another edition?

Book Details

Table of Contents

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.

Edition Notes

Includes bibliographies.
Symposium sponsored by Österreichische Akademie der Wissenschaften, Wien and Institut für Wissenschaftstheorie, Salzburg.

Published in
Napoli [Naples]
Series
History of logic ;, 4

Classifications

Dewey Decimal Class
511.3
Library of Congress
QA9.A1 G63 1987

The Physical Object

Pagination
186 p., [8] leaves of plates :
Number of pages
186

Edition Identifiers

Open Library
OL2083749M
ISBN 10
8870881415
LCCN
88122654
OCLC/WorldCat
16953043
Goodreads
4351527

Work Identifiers

Work ID
OL4675879W

Source records

Community Reviews (0)

No community reviews have been submitted for this work.

Lists

Loading carousel
Download catalog record: RDF / JSON