Skip to content
Open Logic Project
  • Home
  • About
  • People
  • Download
  • GitHub
  • News
September 11, 2017

New Edition of Sets, Logic, Computation

Progress by rzach

The new (Fall 2017) edition of Sets, Logic, Computation is now officially done and available on Amazon [CA] [UK] [DE].  The most recent changes are outlined in this previous post, but: sequent calculus! new proof of completeness! a chapter on how to do proofs!

Post navigation

Textbook Satisfaction Survey Results: Intro Logic Edition
Natural Deduction Rules in forall x: Calgary

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

  • Many-valued logic in the OLP
  • Fall 2020 edition of forall x: Calgary
  • Fall 2019 textbook editions now available on Amazon
  • Fall 2019 edition of forall x:YYC is out
  • Tim Button’s Open Set Theory now part of the Open Logic Project

Archives

License: CC-BY

info@openlogicproject.org

Proudly powered by WordPress | Theme: Airi by aThemes.