MATH 160 Mathematical Logic I

Propositional and predicate calculus. Resolution, completeness, compactness, and Lowenheim-Skolem theorem. Recursive functions, Godel incompleteness theorem. Undecidable theories. Hilbert's 10th problem.