Authors: Adžić, Miloš
Došen, Kosta 
Title: Gödel's notre dame course
Journal: Bulletin of Symbolic Logic
Volume: 22
Issue: 4
First page: 469
Last page: 481
Issue Date: 1-Dec-2016
Rank: M21
ISSN: 1079-8986
DOI: 10.1017/bsl.2016.36
This is a companion to a paper by the authors entitled Gödel's natural deduction, which presented and made comments about the natural deduction system in Gödel's unpublished notes for the elementary logic course he gave at the University of Notre Dame in 1939. In that earlier paper, which was itself a companion to a paper that examined the links between some philosophical views ascribed to Gödel and general proof theory, one can find a brief summary of Gödel's notes for the Notre Dame course. In order to put the earlier paper in proper perspective, a more complete summary of these interesting notes, with comments concerning them, is given here.
Keywords: predicate logic | propositional logic
Publisher: Cambridge University Press

Show full item record


checked on Jul 19, 2024

Page view(s)

checked on May 9, 2024

Google ScholarTM




Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.