Skip to content
Open Logic Project
  • Home
  • About
  • People
  • Download
  • GitHub
  • News
May 5, 2015

Made the Daily Nous!

Publicity by rzach

The Daily Nous covered the Open Logic Project today, suggested an alternative logo that might fit better with the anarchical open-source spirit:

Share this:

  • Click to print (Opens in new window)
  • Click to share on Facebook (Opens in new window)
  • Click to share on Reddit (Opens in new window)
  • Click to share on Mastodon (Opens in new window)
  • Click to share on Twitter (Opens in new window)
  • Click to share on Pocket (Opens in new window)
  • Click to email a link to a friend (Opens in new window)

Post navigation

Avigad’s Notes on Computability, Incompleteness
Git for Philosophers (pt. 1)

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.