Mathematical Logic I MATH 585

CSCI 58500

3

Students should register for MATH 585. P: MATH 351.


Not Currently Offered


Formal theories for propositional and predicate calculus with study of models, completeness, and compactness. Formalization of elementary number theory; Turing machines, halting problem, and the undecidability of arithmetic.