MATH 160

Mathematical Logic

University of California, Merced · UGRD · Fall 2026

1 section

Catalog description

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.

Sections

Current meeting, instructor, credit, and enrollment details

Updated 7 hours ago

001

Availability not recently verified

Class #california_merced-1527Fall 2026UGRD4 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?