- Schedule of Classes - May 13, 2021 7:15PM EDT
- Course Catalog - May 13, 2021 7:16PM EDT
Course information provided by the Courses of Study 2020-2021.
Covers basic topics in mathematical logic, including propositional and predicate calculus; formal number theory and recursive functions; completeness and incompleteness theorems, compactness and Skolem-Loewenheim theorems. Other topics as time permits.
When Offered Spring.
Regular Academic Session.
Credits and Grading Basis
4 Credits Stdnt Opt(Letter or S/U grades)
Class Number & Section Details
- TROnline Meeting
- Feb 8 - May 14, 2021
Instruction Mode: Online
Or send this URL: