Tim Button (University College London) based an entire (open) textbook on set theory on the existing set theory coverage of […]
Category: Progress
Sneak Peek: forall x, now with Modal Logic
The next release of forall x: Calgary will include chapters on modal logic (natural deduction proof system and Kripke semantics). […]
New Layout, Cover Design for forall x
I’ve updated the layout for the default PDF for forall x. It now has much tighter margins and the page […]
Making an Accessible Open Logic Textbook (for Dyslexics)
In the design and layout of the Open Logic Project texts as well as the Calgary Remix of the intro […]
New Edition of Sets, Logic, Computation
The new (Fall 2017) edition of Sets, Logic, Computation is now officially done and available on Amazon [CA] [UK] [DE]. […]
Fall 2016 edition of Sets, Logic, Computation
The Fall 2016 edition of the OLP remix Sets, Logic, Computation is ready. As before, it includes the OLP part […]
More Photos of Logicians
As previously mentioned, the Open Logic Project now has a separate repository for photos of logicians to illustrate your OLP-derived […]
An Actual Textbook, and: Photos!
Two exciting new things from the Open Logic Project. The first one is another sample textbook. I’ve previously written about […]
New in the Open Logic Project: Turing Machines
We’ve had a very rudimentary chapter on Turing machines in the OLP for a while. Samara and I have been […]
Walter Dean (Warwick) Joins Editorial Board
We’re happy to announce that Walter Dean, Associate Professor of Philosophy at the University of Warwick, has joined the Open […]