Kevin Klement has done up a prototype of his online natural deduction proof builder/checker that works with the natural deduction […]
Month: February 2017
New Textbook on Incompleteness
I’m teaching the incompleteness theorems (and related material) this term, and of course I’m using the Open Logic Project as […]