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

Author: rzach

March 10, 2015

The Open Logic Project: Talk at DASHLab

Publicity by rzach0 comments

Nicole Wyatt and Richard Zach presented the project at the DASHLab Talks in January 2014 at the University of Calgary. […]

Read more>>
January 13, 2015

Making your own Open Logic Textbook

Help by rzach0 comments

I’ve started teaching Phil 310 (Intermediate Logic) at McGill, and am using the OLP for the first time myself.  Here’s […]

Read more>>
January 9, 2015May 24, 2019

Open Logic Project Profiled

Publicity by rzach0 comments

The University of Calgary Faculty of Arts annual report for 2014 has a profile of the OLP on p. 24.

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

  • New (interactive) HTML edition of forall x: Calgary
  • New forallx Fitch proof editor & checker
  • Open Logic Project now in Portuguese
  • Preparing for Fall 2025
  • Selinger’s fitch.sty: 1.0 beta

Archives

License: CC-BY

info@openlogicproject.org

Proudly powered by WordPress | Theme: Airi by aThemes.