Skip to content
Open Logic Project
  • Home
  • About
  • People
  • Download
  • GitHub
  • News
October 8, 2016

Have You Taught Using the Open Logic Project?

Uncategorized by rzach

Have you used material from the Open Logic Project in your courses? We’d like to hear from you; please fill out this form:

Post navigation

How to Get (Printed) Open Textbooks to Your Students
For Ada Lovelace Day: Julia Bowman Robinson

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

  • 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
  • Fall 2020 edition of forall x: Calgary

Archives

License: CC-BY

info@openlogicproject.org

Proudly powered by WordPress | Theme: Airi by aThemes.