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

Author: rzach

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>>
May 11, 2015

Git for Philosophers (pt. 1)

Help by rzach0 comments

What is Git? When software developers work on complex programming projects, they use something called a revision control system. A […]

Read more>>
May 5, 2015

Made the Daily Nous!

Publicity by rzach0 comments

The Daily Nous covered the Open Logic Project today, suggested an alternative logo that might fit better with the anarchical […]

Read more>>
April 2, 2015

Avigad’s Notes on Computability, Incompleteness

Progress by rzach0 comments

Jeremy Avigad’s notes in incompleteness and computability are now incorporated into the repository.

Read more>>
March 26, 2015

LaTeXML

Tools by rzach0 comments

This will come in handy: a LaTeX to XML converter http://dlmf.nist.gov/LaTeXML/

Read more>>
March 10, 2015

The Open Logic Project: Talk at DASHLab

Publicity by rzach0 comments

Nicole Wyatt and Richard Zach presented the project at the DASHLab Talks in January 2014 at the University of Calgary. […]

Read more>>
January 13, 2015

Making your own Open Logic Textbook

Help by rzach0 comments

I’ve started teaching Phil 310 (Intermediate Logic) at McGill, and am using the OLP for the first time myself.  Here’s […]

Read more>>
January 9, 2015May 24, 2019

Open Logic Project Profiled

Publicity by rzach0 comments

The University of Calgary Faculty of Arts annual report for 2014 has a profile of the OLP on p. 24.

Read more>>

Posts navigation

Older posts
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.