LINGST 7110
Advanced Logic
University of Missouri-Columbia · UGRD · Fall 2026
1 section
Catalog description
(same as PHIL 7110 ; cross-leveled with LINGST 4110 , PHIL 4110 ). Presents the method of truth trees for sentence and predicate logic. Examines proofs concerning the decidability, soundness, and completeness for 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-4035Fall 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?