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

Author: rzach

August 3, 2020September 3, 2023

Fall 2020 edition of forall x: Calgary

Progress by rzach0 comments

The Fall 2020 edition of forall x: Calgary is now available. The changes are: some behind-the-scenes reorganization of the files […]

Read more>>
November 11, 2019September 3, 2023

Fall 2019 textbook editions now available on Amazon

Progress by rzach0 comments

The Fall 2019 editions of the OLP-based textbooks Sets, Logic, Computation, Incompleteness and Computability, and Boxes and Diamonds, are now […]

Read more>>
September 10, 2019September 3, 2023

Fall 2019 edition of forall x:YYC is out

Progress by rzach0 comments

The Fall 2019 edition of forall x: Calgary is officially out. It’s available for download at forallx.openlogicproject.org and can be […]

Read more>>
August 29, 2019March 21, 2020

Tim Button’s Open Set Theory now part of the Open Logic Project

Progress by rzach1 comment

Tim Button (University College London) based an entire (open) textbook on set theory on the existing set theory coverage of […]

Read more>>
May 24, 2019May 24, 2019

Hello Russia and South America!

Uncategorized by rzach0 comments

The Open Logic Project website was hosted on a University of Calgary server that blocked visitors from various geographical regions […]

Read more>>
March 29, 2019May 23, 2019

Sneak Peek: forall x, now with Modal Logic

Progress by rzach0 comments

The next release of forall x: Calgary will include chapters on modal logic (natural deduction proof system and Kripke semantics). […]

Read more>>
January 7, 2019

New Layout, Cover Design for forall x

Progress by rzach0 comments

I’ve updated the layout for the default PDF for forall x. It now has much tighter margins and the page […]

Read more>>
September 26, 2018September 18, 2019

forall x is going CC BY

Uncategorized by rzach0 comments

The original forall x by P.D. Magnus, as well as Tim Button’s forall x: Cambridge, and the forallx: Calgary remix […]

Read more>>
March 7, 2018August 12, 2019

Open Logic at Open Education Week 2018

Uncategorized by rzach0 comments

It’s Open Education Week, and the Open logic Project will be part of the OER showcase at the University of […]

Read more>>
February 22, 2018September 3, 2023

Modal Logic! Propositional Logic! Tableaux!

Progress by rzach6 comments

Lots of new stuff in the Open Logic repository! I’m teaching modal logic this term, and my ambitious goal is […]

Read more>>

Posts navigation

Older posts
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.