Skip to content

Home
About
People
Download
GitHub
News

Search for:

by.large

Post navigation

Leave a ReplyCancel 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

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

Archives

info@openlogicproject.org

Proudly powered by WordPress | Theme: Airi by aThemes.