MATH 171: Mathematical Logic
Introduction to the meta-theory of first-order logic. Topics include the consistency, compactness, completeness and soundness proofs for propositional and first-order logic; model theory; the axiomatization of number theory; Gödel’s incompleteness theorems and related results.
Prerequisite: PHIL 005 . Pass/No Pass option. Discussion included. Cross-Listed with PHIL 160 .
Fall 2018 course scheduling information
Spring 2019 course scheduling information
[Add to My Catalog]