18.5x

Mathematical Logic

Two basic subjects offer broad introductions to mathematical logic. They are independent, and the only prerequisite is some familiarity with proofs. Generally they are offered in alternate years.

• 18.510 (Introduction to Mathematical Logic and Set Theory)
• 18.511 (Introduction to Computability and Undecidability)

There is also an Undergraduate Seminar in this area:

• 18.504 (Undergraduate Seminar in Logic) Prerequisites: 18.100, and one of 18.06, 18.510, 18.511, 18.700, or 18.701.