Catalog search

Catalog links

• Catalog home
• Site map
• Alphabetical index

*MAT 772: Mathematical Logic II.

3 hours, 3 credits. 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. PREREQ: MAT 771 (Mathematical Logic I).

Last modified: 1/23/2013