Skip to content
Open Logic Project
  • Home
  • About
  • People
  • Download
  • GitHub
  • News

Author: openlogic

September 3, 2023September 3, 2023

Fall 2023 version of forall x: YYC now official, on Amazon

Progress by openlogic0 comments

I’ve removed the “beta” from the Fall 2023 edition of forall x: Calgary. It is now available in paperback on […]

Read more>>
August 15, 2023September 3, 2023

Fall 2023 version of forall x: Calgary

Progress by openlogic0 comments

I’ve put up the (beta) version of forall x: Calgary. I’ll hold off on putting it on Amazon for a […]

Read more>>
July 27, 2023July 28, 2023

forall x now in HTML for extra accessibility

Progress by openlogic1 comment

I’m happy to report that forall x: Calgary is now available in an HTML version for reading online. It turned […]

Read more>>
March 7, 2023March 7, 2023

The Open Logic Project is 10!

Uncategorized by openlogic1 comment

The first section texts were checked in to the OLP GitHub repository just over 10 years ago. That first checkin […]

Read more>>
November 5, 2022

Follow the Open Logic Project on Mastodon

Uncategorized by openlogic2 comments

Do you have a Mastodon account? The OLP website now runs the ActivityPub plugin and you can get website posts […]

Read more>>
December 3, 2017

‘Tis the Season of Giving!

Help by openlogic0 comments

Do you have well-worked out teaching materials related to logic? We take donations of material that can be incorporated into […]

Read more>>
December 12, 2015

Walter Dean (Warwick) Joins Editorial Board

Progress by openlogic0 comments

We’re happy to announce that Walter Dean, Associate Professor of Philosophy at the University of Warwick, has joined the Open […]

Read more>>
October 14, 2015

Aldo Antonelli, 1962-2015

Uncategorized by openlogic0 comments

We are shocked and saddened by the news that our friend, colleague, and collaborator Aldo Antonelli died this weekend.  He […]

Read more>>
August 13, 2015

Paid Undergraduate Internships with the Open Logic Project in Calgary, Summer 2016

Uncategorized by openlogic1 comment

We have openings, through a Canadian agency called MITACS, for advanced undergraduate students with a background in logic, philosophy, or […]

Read more>>
June 16, 2015

Open Logic Quick Start Guide

Help by openlogic0 comments

[Chad and Samara have documented the steps required to download and compile the Open Logic Text, and written a “quick […]

Read more>>

Posts navigation

Older posts

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 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!
  • Follow the Open Logic Project on Mastodon

Archives

License: CC-BY

info@openlogicproject.org

Proudly powered by WordPress | Theme: Airi by aThemes.