CS 388L: Introduction to Mathematical Logic
