18.5x

Mathematical Logic

The basic subject offers a broad introduction to mathematical logic. The only prerequisite is some familiarity with proofs.

• 18.510 (Introduction to Mathematical Logic and Set Theory)

There is also an Undergraduate Seminar in this area:

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