Category: Uncategorized

As previously reported, we here at Open Logic Central have run surveys to gather some data on the relative success […]

I just checked in a whole bunch of changes to the part on first-order logic. Most of it is in […]

Two major new additions: Paul Daniell has contributed a number of very nice illustrations for the “Sets” and “Functions” chapters, […]

New on Amazon: the print version of the Summer 2017 edition of forall x: Calgary Remix, as well as the […]

Back when I described the process to publish a text on lulu.com, commenter penrodyn suggested to try CreateSpace, Amazon’s self-publishing […]

The Open Logic Project will be part of the Thursday afternoon session “Inclusiveness in Logic Education” (session 7P) at the […]

We have new chapters on non-standard (and standard) models of arithmetic and on second-order logic.  First drafts, so please provide […]

Kevin Klement has done up a prototype of his online natural deduction proof builder/checker that works with the natural deduction […]

I’m teaching the incompleteness theorems (and related material) this term, and of course I’m using the Open Logic Project as […]

Aaron is teaching our intro logic course (“Logic I”) this term, and as part of a pilot project to redesign […]