MATH 406

Mathematical Logic and Model Theory

Case Western Reserve University · UGRD · Fall 2026

1 section

Catalog description

Propositional calculus and quantification theory; consistency and completeness theorems; Gödel incompleteness results and their philosophical significance; introduction to basic concepts of model theory; problems of formulation of arguments in philosophy and the sciences. Offered as PHIL 306 , MATH 406 and PHIL 406 .

Sections

Current meeting, instructor, credit, and enrollment details

Updated 5 hours ago

001

Availability not recently verified

Class #case_western_reserve-MATH406Fall 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?