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

Category: Progress

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

  • The Open Logic Project is 10!
  • Follow the Open Logic Project on Mastodon
  • Updates to OLP for Fall 2021 edition of Sets, Logic, Computation
  • forall x: Calgary goes international (and other updates)
  • Many-valued logic in the OLP

Archives

License: CC-BY

info@openlogicproject.org

Proudly powered by WordPress | Theme: Airi by aThemes.