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

Category: Uncategorized

October 9, 2015

Alberta OER funding for the Open Logic Project

Uncategorized by rzach1 comment

This spring, the Ministry of Advanced Education of Alberta launched a $2m pilot project to encourage Alberta universities to develop, […]

Read more>>
September 19, 2015

New Open Logic Material on Model Theory

Uncategorized by rzach0 comments

The Open Logic Text now comes with a part on model theory. It covers some basic definitions and results, including […]

Read more>>
August 13, 2015

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

Uncategorized by rzach1 comment

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

Read more>>
July 6, 2015

Open Logic Project Awarded Teaching and Learning Grant

Uncategorized by rzach1 comment

Nicole Wyatt and I have been awarded a University of Calgary Teaching and Learning Grant for the Open Logic Project. […]

Read more>>
June 4, 2015

Wiki Now Part of Git Repository

Uncategorized by rzach0 comments

The Github Wiki we use to document aspects of the project is now a submodule in the OpenLogic repository.  If […]

Read more>>
May 25, 2015

Free Logic Textbooks

Uncategorized by rzach1 comment

The Open Logic Text may be one of only two open source logic texts, but there are other open, and […]

Read more>>
May 22, 2015

What is Git and Why Use It?

Uncategorized by rzach0 comments

The Open Logic Project is using Git to keep track of changes to the texts, facilitate collaborative authoring, and to […]

Read more>>

Posts navigation

Newer 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

  • Preparing for Fall 2025
  • 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

Archives

License: CC-BY

info@openlogicproject.org

Proudly powered by WordPress | Theme: Airi by aThemes.