Приказ основних података о документу
Godel's Notre Dame course
dc.creator | Adžić, Miloš | |
dc.creator | Dosen, Kosta | |
dc.date.accessioned | 2021-10-12T12:20:36Z | |
dc.date.available | 2021-10-12T12:20:36Z | |
dc.date.issued | 2016 | |
dc.identifier.issn | 1079-8986 | |
dc.identifier.uri | http://reff.f.bg.ac.rs/handle/123456789/2179 | |
dc.description.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. | en |
dc.publisher | Cambridge Univ Press, Cambridge | |
dc.relation | Ministry of Education, Science and Technological Development of Serbia | |
dc.relation | French National Research Agency (ANR) [ANR-09-BLAN-0313] | |
dc.rights | restrictedAccess | |
dc.source | Bulletin of Symbolic Logic | |
dc.subject | propositional logic | en |
dc.subject | predicate logic | en |
dc.title | Godel's Notre Dame course | en |
dc.type | article | |
dc.rights.license | ARR | |
dc.citation.epage | 481 | |
dc.citation.issue | 4 | |
dc.citation.other | 22(4): 469-481 | |
dc.citation.rank | M22 | |
dc.citation.spage | 469 | |
dc.citation.volume | 22 | |
dc.identifier.doi | 10.1017/bsl.2016.36 | |
dc.identifier.scopus | 2-s2.0-85007524391 | |
dc.identifier.wos | 000392101800002 | |
dc.type.version | publishedVersion |