Претраживање
Приказ резултата 1-1 од 1
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, ...