CSCI 37100
Advanced Symbolic Logic
Hunter College · UGRD · Fall 2026
1 section
Catalog description
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.
Sections
Current meeting, instructor, credit, and enrollment details
001
Availability not recently verifiedClass #cuny_hunter-CSCI37100Fall 2026UGRD3 credits
- Days & times
- No scheduled meeting time
- Meeting dates
- —
- Location
- —
- Instructor
- Staff
Class numbers and section codes come from the registrar.
Spot missing or incorrect course data?