Skip to content
Open Logic Project
  • Home
  • About
  • People
  • Download
  • GitHub
  • News
March 30, 2017September 18, 2019

New Chapters for #OpenEducationWk

Uncategorized by rzach

We have new chapters on non-standard (and standard) models of arithmetic and on second-order logic.  First drafts, so please provide feedback and report mistakes you find (especially in the second-order logic part).

They are part of the new remixed text on incompleteness, too.

Share this:

  • Click to print (Opens in new window)
  • Click to share on Facebook (Opens in new window)
  • Click to share on Reddit (Opens in new window)
  • Click to share on Mastodon (Opens in new window)
  • Click to share on Twitter (Opens in new window)
  • Click to share on Pocket (Opens in new window)
  • Click to email a link to a friend (Opens in new window)

Post navigation

Proof Checker for forall x: Cambridge and Calgary
OLP at the Pacific APA/Spring ASL Meeting

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

  • 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
  • The Open Logic Project is 10!

Archives

License: CC-BY

info@openlogicproject.org

Proudly powered by WordPress | Theme: Airi by aThemes.