Enabling javascript will improve the functionality of this page. skip to content
Lehman College

Catalog search


Catalog links

print page

*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: 3/11/2014