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

Category: Uncategorized

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 18, 2016September 18, 2019

Choosing an Open Introductory Logic Text

Uncategorized by Aaron Thomas-Bolduc2 comments

I will be teaching our Logic I course beginning in January 2017, and we have decided to modify an existing […]

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