MATH 6810 - Logic

Anil Nerode, spring 2017.

Covers basic topics in mathematical logic, including propositional and predicate calculus; formal number theory and recursive functions; completeness and incompleteness theorems, compactness and Skolem-Loewenheim theorems; axiomatic set theory. Other topics as time permits.