Godel's Notre Dame course
Abstract
This is a companion to a paper by the authors entitled "Godel's natural deduction," which presented and made comments about the natural deduction system in Godel'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 Godel and general proof theory, one can find a brief summary of Godel'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:
propositional logic / predicate logicSource:
Bulletin of Symbolic Logic, 2016, 22, 4, 469-481Publisher:
- Cambridge Univ Press, Cambridge
Funding / projects:
- Ministry of Education, Science and Technological Development of Serbia
- French National Research Agency (ANR) [ANR-09-BLAN-0313]
DOI: 10.1017/bsl.2016.36
ISSN: 1079-8986
WoS: 000392101800002
Scopus: 2-s2.0-85007524391
Institution/Community
Filozofija / PhilosophyTY - JOUR AU - Adžić, Miloš AU - Dosen, Kosta PY - 2016 UR - http://reff.f.bg.ac.rs/handle/123456789/2179 AB - This is a companion to a paper by the authors entitled "Godel's natural deduction," which presented and made comments about the natural deduction system in Godel'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 Godel and general proof theory, one can find a brief summary of Godel'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. PB - Cambridge Univ Press, Cambridge T2 - Bulletin of Symbolic Logic T1 - Godel's Notre Dame course EP - 481 IS - 4 SP - 469 VL - 22 DO - 10.1017/bsl.2016.36 ER -
@article{ author = "Adžić, Miloš and Dosen, Kosta", year = "2016", abstract = "This is a companion to a paper by the authors entitled "Godel's natural deduction," which presented and made comments about the natural deduction system in Godel'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 Godel and general proof theory, one can find a brief summary of Godel'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.", publisher = "Cambridge Univ Press, Cambridge", journal = "Bulletin of Symbolic Logic", title = "Godel's Notre Dame course", pages = "481-469", number = "4", volume = "22", doi = "10.1017/bsl.2016.36" }
Adžić, M.,& Dosen, K.. (2016). Godel's Notre Dame course. in Bulletin of Symbolic Logic Cambridge Univ Press, Cambridge., 22(4), 469-481. https://doi.org/10.1017/bsl.2016.36
Adžić M, Dosen K. Godel's Notre Dame course. in Bulletin of Symbolic Logic. 2016;22(4):469-481. doi:10.1017/bsl.2016.36 .
Adžić, Miloš, Dosen, Kosta, "Godel's Notre Dame course" in Bulletin of Symbolic Logic, 22, no. 4 (2016):469-481, https://doi.org/10.1017/bsl.2016.36 . .