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

Category: Publicity

May 5, 2015

Made the Daily Nous!

Publicity by rzach0 comments

The Daily Nous covered the Open Logic Project today, suggested an alternative logo that might fit better with the anarchical […]

Read more>>
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 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>>

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

  • 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
  • The Open Logic Project is 10!

Archives

License: CC-BY

info@openlogicproject.org

Proudly powered by WordPress | Theme: Airi by aThemes.