Mathematical Logic II
Overview
Subject area
MAT
Catalog Number
772
Course Title
Mathematical Logic II
Department(s)
Description
Advanced topics in computability, first order theories, higher-order logics, semantics, model theory, set theory, analytic methods in proof theory, Gentzen systems, and cut elimination.
Typically Offered
Fall, Spring
Academic Career
Graduate
Liberal Arts
Yes
Credits
Minimum Units
3
Maximum Units
3
Academic Progress Units
3
Repeat For Credit
No
Components
Name
Lecture
Hours
3
Requisites
010982