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

Author: rzach

March 31, 2016

For the Last Day of Women’s History Month: Biographies of Rózsa Péter and Julia Robinson

Uncategorized by rzach1 comment

I’ve added Rózsa Péter and Julia Bowman Robinson to the biographies chapter, and a high-quality photo of Péter to the […]

Read more>>
March 12, 2016September 18, 2019

An Actual Textbook, and: Photos!

Progress by rzach1 comment

Two exciting new things from the Open Logic Project. The first one is another sample textbook. I’ve previously written about […]

Read more>>
February 7, 2016

Vote for your Favorite Logician

Uncategorized by rzach11 comments

Suppose we got more illustrations of logicians. Who should we get? [polldaddy poll=9301601]

Read more>>
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>>

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

  • New (interactive) HTML edition of forall x: Calgary
  • New forallx Fitch proof editor & checker
  • Open Logic Project now in Portuguese
  • Preparing for Fall 2025
  • Selinger’s fitch.sty: 1.0 beta

Archives

License: CC-BY

info@openlogicproject.org

Proudly powered by WordPress | Theme: Airi by aThemes.