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