May 25, 2019  
2018-2019 Catalog 
2018-2019 Catalog
[Add to My Catalog]

MATH 160: Mathematical Logic

Units: 4

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.

Course Details
Repeatable for Credit: No
Crosslisted with: PHIL 160
Normal Letter Grade with Pass/No Pass option

Requisites and Restrictions
Prerequisite: PHIL 005
Instructor Permission Required: No

Fall 2018 course scheduling information

Spring 2019 course scheduling information

Summer 2019 course scheduling information

[Add to My Catalog]