Screen-Shot-2021-09-28-at-3.03.24-PM

MATH 654 Fall 2022

Watch this space for updates on logic courses.

The undergraduate course MATH 454 (Axiomatic Set Theory) was taught in Fall 2021. Textbook: Schimmerling’s “A course on set theory”

A similar course at the graduate level was MATH 654 Fall 2020, which had the following readings:

  • Foundations of Mathematics, Kenneth Kunen, parts of chapters I-IV.
  • Modal logic for open minds, Johan van Benthem, some of chapters 1-11 and 16.
  • Logic and Proof, Lean tutorial, and The Natural Number Game

Math 654 in Fall 2022 will use the textbook by Ebbinghaus, Flum, and Thomas and some readings about Lean.

Leave a Reply

Your email address will not be published.

You may use these HTML tags and attributes: <a href="" title=""> <abbr title=""> <acronym title=""> <b> <blockquote cite=""> <cite> <code> <del datetime=""> <em> <i> <q cite=""> <strike> <strong>