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

Author: rzach

December 18, 2016

Four New Photos

Uncategorized by rzach0 comments

Fresh from the Archives of American Mathematics at UT Austin, the photos repository now includes Henkin, Huntington, Rosser, and von […]

Read more>>
November 12, 2016

Revisions to enumerability and size of sets sections

Uncategorized by rzach0 comments

As per issues 107 and 109, the material in sets-relations-functions/sizes-of-sets needs to be cleaned up. It was inconsistent in its […]

Read more>>
October 11, 2016

For Ada Lovelace Day: Julia Bowman Robinson

Uncategorized by rzach1 comment

Julia Bowman Robinson was an American mathematician. She is known mainly for her work on decision problems, and most famously […]

Read more>>
October 8, 2016

Have You Taught Using the Open Logic Project?

Uncategorized by rzach0 comments

Have you used material from the Open Logic Project in your courses? We’d like to hear from you; please fill […]

Read more>>
September 12, 2016

How to Get (Printed) Open Textbooks to Your Students

Uncategorized by rzach9 comments

One problem open textbooks (and instructors adopting open textbooks) face is how to make the texts available to their students. […]

Read more>>
August 28, 2016

Fall 2016 edition of Sets, Logic, Computation

Progress by rzach0 comments

The Fall 2016 edition of the OLP remix Sets, Logic, Computation is ready. As before, it includes the OLP part […]

Read more>>
August 25, 2016

Line Art Portraits of Logicians

Uncategorized by rzach4 comments

You’ve probably seen some of the line art portraits of logicians we’ve commissioned. They were done by Calgary illustrator and […]

Read more>>
August 5, 2016

Student Satisfaction Survey Results

Uncategorized by rzach1 comment

In the Winter term 2016, I taught the University of Calgary’s second logic course from a textbook remixed from the […]

Read more>>
August 1, 2016

A Few Photos More

Uncategorized by rzach0 comments

I added a few more logician’s photos: Carnap, Herbrand, Kalmar, Lewis, Kleene, Montague, Quine, Wang. See previous post on how […]

Read more>>
July 1, 2016

More Photos of Logicians

Progress by rzach0 comments

As previously mentioned, the Open Logic Project now has a separate repository for photos of logicians to illustrate your OLP-derived […]

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.