Two major new additions: Paul Daniell has contributed a number of very nice illustrations for the “Sets” and “Functions” chapters, […]
Category: Uncategorized
New in Print: forall x (Summer 2017 edition), and Incompleteness and Computability
New on Amazon: the print version of the Summer 2017 edition of forall x: Calgary Remix, as well as the […]
forall x: YYC is now on Amazon (and how it got there)
Back when I described the process to publish a text on lulu.com, commenter penrodyn suggested to try CreateSpace, Amazon’s self-publishing […]
OLP at the Pacific APA/Spring ASL Meeting
The Open Logic Project will be part of the Thursday afternoon session “Inclusiveness in Logic Education” (session 7P) at the […]
New Chapters for #OpenEducationWk
We have new chapters on non-standard (and standard) models of arithmetic and on second-order logic. First drafts, so please provide […]
Proof Checker for forall x: Cambridge and Calgary
Kevin Klement has done up a prototype of his online natural deduction proof builder/checker that works with the natural deduction […]
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 […]
forall x: Calgary Remix
Aaron is teaching our intro logic course (“Logic I”) this term, and as part of a pilot project to redesign […]
Four New Photos
Fresh from the Archives of American Mathematics at UT Austin, the photos repository now includes Henkin, Huntington, Rosser, and von […]
Revisions to enumerability and size of sets sections
As per issues 107 and 109, the material in sets-relations-functions/sizes-of-sets needs to be cleaned up. It was inconsistent in its […]