11 citations · 72 across the 39 of their papers we have counts for
Showing 2016Show all
3 papers · 1 filter
math.LO2016
Gödel's Natural Deduction
Kosta Dosen, Milos Adzic
This is a companion to a paper by the authors entitled "Gödel on deduction", which examined the links between some philosophical views ascribed to Gödel and general proof theory. W…
math.LO2016
Gödel on Deduction
Kosta Dosen, Milos Adzic
This is an examination, a commentary, of links between some philosophical views ascribed to Gödel and general proof theory. In these views deduction is of central concern not only…
math.LO2016
Gödel's Notre Dame Course
Milos Adzic, Kosta Dosen
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 note…