Logic Lectures. Gödel's Basic Logic Course at Notre Dame

History and Philosophy of Logic 39 (4):396-401 (2018)
  Copy   BIBTEX

Abstract

Biographies of Kurt Gödel tell that he gave in 1939 an introductory lecture course on logic at the University of Notre Dame. In the early 1930s, Gödel took part and presented many of hi...

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,098

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Gödel's Introduction to Logic in 1939.P. Cassou-Nogues - 2009 - History and Philosophy of Logic 30 (1):69-90.
Gödel’s notre dame course.Miloš Adžić & Kosta Došen - 2016 - Bulletin of Symbolic Logic 22 (4):469-481.
Gödel’s Natural Deduction.Kosta Došen & Miloš Adžić - 2018 - Studia Logica 106 (2):397-415.
The published work of Kurt Gödel: an annotated bibliography.John W. Dawson - 1983 - Notre Dame Journal of Formal Logic 24 (2):255-284.
Book review: "Kurt Gödel, Collected Works, Vol. I". [REVIEW]Georg Kreisel - 1987 - Notre Dame Journal of Formal Logic 29:160-181.
Coding and Definability in Computable Structures.Antonio Montalbán - 2018 - Notre Dame Journal of Formal Logic 59 (3):285-306.
The Gödel theorem.Norwood Russell Hanson - 1961 - Notre Dame Journal of Formal Logic 2 (2):94-110.
Book Review: Kurt Gödel. Collected Works, Volumes IV and V. [REVIEW]Paolo Mancosu - 2004 - Notre Dame Journal of Formal Logic 45 (12):109-125.

Analytics

Added to PP
2018-07-28

Downloads
47 (#348,224)

6 months
10 (#308,654)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Jan Von Plato
University of Helsinki

Citations of this work

Kurt Gödel on Logical, Theological, and Physical Antinomies.Tim Lethen - 2021 - Bulletin of Symbolic Logic 27 (3):267-297.

Add more citations

References found in this work

No references found.

Add more references