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

Author: rzach

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

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.