Skip to content

Home
About
People
Download
GitHub
News

Search for:

December 11, 2013

cropped-openlogic-banner.png

http://openlogicproject.org/files/2013/12/cropped-openlogic-banner.png

Post navigation

cropped-openlogic-banner.png

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.