Skip to content

Home
About
People
Download
GitHub
News

Search for:

October 26, 2014

CC-BY Logo

Post navigation

Leave a Reply Cancel reply

This site uses Akismet to reduce spam. Learn how your comment data is processed.

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.

Search for:

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

Archives

info@openlogicproject.org

Proudly powered by WordPress | Theme: Airi by aThemes.