PHIL 7110
Advanced Logic
University of Missouri-Columbia · UGRD · Fall 2026
1 section
Catalog description
(same as LINGST 7110 ; cross-leveled with PHIL 4110 , LINGST 4110 ). Presents the method of truth trees for sentence and predicate logic. Examines proofs concerning the decidability, soundness, and completeness of formal systems. Emphasizes the theory of formal systems. Credit Hour s : 3
Sections
Current meeting, instructor, credit, and enrollment details
001
Availability not recently verifiedClass #missouri_columbia-5149Fall 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?