LOG 535
Advanced Logic and Metamathematics
North Carolina State University · UGRD · Fall 2026
1 section
Catalog description
Advanced topics in logic and metamathematics: proof procedures, first-order theories, soundness and completeness theorems, recursive functions, the formalization of arithmetic, the Goedel Incompleteness Theorems. Emphasis on mathematical study of logic and mathematics. Students cannot receive credit for both LOG 435 and LOG 535
Sections
Current meeting, instructor, credit, and enrollment details
001
Availability not recently verifiedClass #north_carolina_state-3435Fall 2026UGRD
- 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?