Претраживање
Приказ резултата 1-1 од 1
Godel's Notre Dame course
(Cambridge Univ Press, Cambridge, 2016)
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 ...