ElectiveReadingFull semesterAbout 40 hrs*
* About 40 hrs to work through the notes and exercises.
Logic I (24.241)
Ephraim Glick, MIT OpenCourseWare
A full undergraduate course in formal logic: truth tables, propositional and predicate logic, derivations, soundness, and completeness. Lecture notes, exercises, and exams; no video.
Go to ocw.mit.edu ↗