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

Catalog search


Catalog links

print page

MAT 771: Mathematical Logic I.

4 hours, 4 credits. Development of the propositional calculus and the predicate calculus, with special emphasis on their mathematical aspects and applications. Semantics, axiom systems, and tableau systems will be presented, and Godel's completeness theorem will be proven. Further topics will be selected from computer implementation, model theory, and incompleteness/undecidability. PREREQ: One course in either modern algebra or set theory.

Last modified: 7/14/2014