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.510, 18.700, or 18.701.