Skip to content
Open Logic Project
  • Home
  • About
  • People
  • Download
  • GitHub
  • News

Category: Progress

December 12, 2015

Walter Dean (Warwick) Joins Editorial Board

Progress by rzach0 comments

We’re happy to announce that Walter Dean, Associate Professor of Philosophy at the University of Warwick, has joined the Open […]

Read more>>
November 21, 2015April 30, 2020

Making a New Logic Textbook in Seven Easy Steps

Help by rzach1 comment

I’ll be teaching the University of Calgary’s second logic course, imaginatively titled “Logic II,” next term.  It’ll be the first […]

Read more>>
April 2, 2015

Avigad’s Notes on Computability, Incompleteness

Progress by rzach0 comments

Jeremy Avigad’s notes in incompleteness and computability are now incorporated into the repository.

Read more>>
October 25, 2014

OLP now with CC-BY license

Progress by rzach0 comments

After some internal discussion and canvassing of the Open Educational Resources community, we’ve switched the license from Creative Commons Attribution-ShareAlike […]

Read more>>
May 16, 2014

More Documentation

Progress by rzach0 comments

The master configuration file that holds all the commands that OLP texts use to typeset things — the file you […]

Read more>>
December 11, 2013

The Open Logic Project

Progress by rzach0 comments

Tired of having to use an advanced logic text that isn’t quite right for your class?  Do you want to […]

Read more>>

Posts navigation

Newer posts

What is This?

It’s is an open-source, collaborative textbook of logic and formal methods, starting at an intermediate level, aimed at a non-mathematical audience. Read more in About.

News

  • Preparing for Fall 2025
  • Selinger’s fitch.sty: 1.0 beta
  • Fall 2023 version of forall x: YYC now official, on Amazon
  • Fall 2023 version of forall x: Calgary
  • forall x now in HTML for extra accessibility

Archives

License: CC-BY

info@openlogicproject.org

Proudly powered by WordPress | Theme: Airi by aThemes.