LINGST 4110

Advanced Logic

University of Missouri-Columbia · UGRD · Fall 2026

1 section

Catalog description

(same as PHIL 4110 ; cross-leveled with LINGST 7110 , PHIL 7110 ). 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 Prerequisites: sophomore standing and PHIL 2700 ; or instructor's consent

Sections

Current meeting, instructor, credit, and enrollment details

Updated 9 hours ago

001

Availability not recently verified

Class #missouri_columbia-4009Fall 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?