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

Author: rzach

January 28, 2016

Guess the Logician!

Uncategorized by rzach0 comments

We’ve been working with Calgary graphic designer and illustrator Matt Leadbeater on a series of stylized portraits of logicians. They […]

Read more>>
January 21, 2016

Logicians’ Biographies

Uncategorized by rzach0 comments

Thanks mainly to Samara‘s efforts, the Open Logic Project has begun to include short biographies of logicians in a new […]

Read more>>
January 8, 2016

New in the Open Logic Project: Turing Machines

Progress by rzach2 comments

We’ve had a very rudimentary chapter on Turing machines in the OLP for a while.  Samara and I have been […]

Read more>>
December 22, 2015

Got Errors?

Help by rzach0 comments

Are you getting LaTeX errors when compiling the Open Logic Project files?  If you get this one: LaTeX Error: \memendofchapterhook […]

Read more>>
December 12, 2015

Walter Dean (Warwick) Joins Editorial Board

Progress by rzach0 comments

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

Read more>>
December 5, 2015September 4, 2024

The Logic Gallery now CC-Licensed

Uncategorized by rzach1 comment

David Marans has now licensed his Logic Gallery, a collection of tid-bits of information, thought-provoking quotes, and pictures of figures […]

Read more>>
November 22, 2015

Getting Your Book to Print

Help by rzach2 comments

As I explained yesterday, making a custom text from the OLP source using LaTeX is relatively easy.  But, I’d also […]

Read more>>
November 21, 2015April 30, 2020

Making a New Logic Textbook in Seven Easy Steps

Help by rzach1 comment

I’ll be teaching the University of Calgary’s second logic course, imaginatively titled “Logic II,” next term.  It’ll be the first […]

Read more>>
November 20, 2015

University of Calgary Student Paper Profiles OLP

Uncategorized by rzach0 comments

Nicole Wyatt and I were interviewed (and photographed) for an article on open textbooks in the University of Calgary’s student […]

Read more>>
October 25, 2015

Repository Reorganization

Uncategorized by rzach0 comments

As per issue #48, in order to keep the clutter in the main directory of the repository to a minimum, […]

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.