Претраживање
Приказ резултата 1-2 од 2
Godel on Deduction
(Springer, Dordrecht, 2019)
This is an examination, a commentary, of links between some philosophical views ascribed to Godel and general proof theory. In these views deduction is of central concern not only in predicate logic, but in set theory too, ...
Godel's Natural Deduction
(Springer, Dordrecht, 2018)
This is a companion to a paper by the authors entitled "Godel on deduction", which examined the links between some philosophical views ascribed to Godel and general proof theory. When writing that other paper, the authors ...