MAT 772 - Mathematical Logic II

Overview

Department(s)
Mathematics
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

Credits

Minimum Units
3
Maximum Units
3
Academic Progress Units
3
Repeat For Credit
No

Components

Name
Lecture
Hours
3

Requisites

010982

Course Schedule

Loading...