Skip to content
Open Logic Project
  • Home
  • About
  • People
  • Download
  • GitHub
  • News
December 18, 2016

Four New Photos

Uncategorized by rzach

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

Share this:

  • Print (Opens in new window) Print
  • Share on Facebook (Opens in new window) Facebook
  • Share on Reddit (Opens in new window) Reddit
  • Share on Mastodon (Opens in new window) Mastodon
  • Share on X (Opens in new window) X
  • Email a link to a friend (Opens in new window) Email

Post navigation

Revisions to enumerability and size of sets sections
forall x: Calgary Remix

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.