Skip to content
Open Logic Project
  • Home
  • About
  • People
  • Download
  • GitHub
  • News
January 9, 2015May 24, 2019

Open Logic Project Profiled

Publicity by rzach

The University of Calgary Faculty of Arts annual report for 2014 has a profile of the OLP on p. 24.

Post navigation

OLP now with CC-BY license
Making your own Open Logic Textbook

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 2019 textbook editions now available on Amazon
  • Fall 2019 edition of forall x:YYC is out
  • Tim Button’s Open Set Theory now part of the Open Logic Project
  • Hello Russia and South America!
  • Sneak Peek: forall x, now with Modal Logic

Archives

License: CC-BY

info@openlogicproject.org

Proudly powered by WordPress | Theme: Airi by aThemes.