On May 10th, 2022 Hunter will be using a new Course Catalog system provided by CUNY that will look and feel different than the current version. The new Course Catalog system will be the primary resource for course information for undergraduate and graduate courses. If you have any questions, please contact your Academic Department.
A survey of the central results and techniques of metalogic, principally mathematical induction, the soundness and completeness of theorems for first-order logic, the Skolem Theorem; and Church’s Theorem on undecidability.
prereq:a course in linear algebra or permission of instructor Hours3 hrs. Credits3 cr.
