Category: Uncategorized

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 […]

Fresh from the Archives of American Mathematics at UT Austin, the photos repository now includes Henkin, Huntington, Rosser, and von […]

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 […]

I will be teaching our Logic I course beginning in January 2017, and we have decided to modify an existing […]

Julia Bowman Robinson was an American mathematician. She is known mainly for her work on decision problems, and most famously […]

Have you used material from the Open Logic Project in your courses? We’d like to hear from you; please fill […]

One problem open textbooks (and instructors adopting open textbooks) face is how to make the texts available to their students. […]

You’ve probably seen some of the line art portraits of logicians we’ve commissioned. They were done by Calgary illustrator and […]

In the Winter term 2016, I taught the University of Calgary’s second logic course from a textbook remixed from the […]