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

Author: rzach

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.