I’ll be teaching the University of Calgary’s second logic course, imaginatively titled “Logic II,” next term. It’ll be the first […]
Category: Progress
Avigad’s Notes on Computability, Incompleteness
Jeremy Avigad’s notes in incompleteness and computability are now incorporated into the repository.
OLP now with CC-BY license
After some internal discussion and canvassing of the Open Educational Resources community, we’ve switched the license from Creative Commons Attribution-ShareAlike […]
More Documentation
The master configuration file that holds all the commands that OLP texts use to typeset things — the file you […]
The Open Logic Project
Tired of having to use an advanced logic text that isn’t quite right for your class? Do you want to […]