UMD MATH 712 Entire Class
University of Maryland MATH 712 Mathematical Logic I Entire Class
Sentential logic, first-order languages, models, and formal deductions. The basic model theory includes completeness and compactness theorems, other methods of constructing models, and applications such as non-standard analysis.
Note: This entire class includes online quizzes, discussions, assignments, course projects, and online exams.