PHILOS 4354
Mathematical Logic I
Missouri University of Science and Technology · UGRD · Fall 2026
1 section
Catalog description
A mathematical introduction to logic with some applications. Functional and relational languages, satisfaction, soundness and completeness theorems, compactness theorems. Examples from Mathematics, Philosophy, Computer Science, and/or Computer Engineering.
Sections
Current meeting, instructor, credit, and enrollment details
001
Availability not recently verifiedClass #missouri_science_and-PHILOS4354Fall 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?