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

Made the Daily Nous!

Publicity by openlogic

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

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

  • The Open Logic Project is 10!
  • Follow the Open Logic Project on Mastodon
  • Updates to OLP for Fall 2021 edition of Sets, Logic, Computation
  • forall x: Calgary goes international (and other updates)
  • Many-valued logic in the OLP

Archives

License: CC-BY

info@openlogicproject.org

Proudly powered by WordPress | Theme: Airi by aThemes.