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 meta-logic, principally mathematical induction, the soundness and completeness of theorems for first-order logic, the Skolem theorem and Church’s theorem on undecidability. prereq:PHIL 27500 or equiv. 3 hrs 3 cr.
