PHI 551
Mathematical Logic
Syracuse University · UGRD · Fall 2026
1 section
Catalog description
Predicate calculus with identity, its relationship to mathematics and to computer theory. Important results concerning independence, consistency, completeness, decidability and computability.
Sections
Current meeting, instructor, credit, and enrollment details
001
Availability not recently verifiedClass #syracuse-PHI551Fall 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?