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

Author: openlogic

May 25, 2015

Free Logic Textbooks

Uncategorized by openlogic1 comment

The Open Logic Text may be one of only two open source logic texts, but there are other open, and […]

Read more>>
May 5, 2015

Made the Daily Nous!

Publicity by openlogic0 comments

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

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

  • 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!
  • Follow the Open Logic Project on Mastodon

Archives

License: CC-BY

info@openlogicproject.org

Proudly powered by WordPress | Theme: Airi by aThemes.