Godel's Notre Dame course
Samo za registrovane korisnike
2016
Članak u časopisu (Objavljena verzija)
Metapodaci
Prikaz svih podataka o dokumentuApstrakt
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.
Ključne reči:
propositional logic / predicate logicIzvor:
Bulletin of Symbolic Logic, 2016, 22, 4, 469-481Izdavač:
- Cambridge Univ Press, Cambridge
Finansiranje / projekti:
- 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
Institucija/grupa
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 . .