Mathematical Logic and Computability
Mathematical Logic and Computability: The basic metatheorems of first order logic: soundness, completeness, compactness, Lowenheim-Skolem theorem, undecidability of first order logic, Godel's incompleteness theorem. Enumerability, diagonalization, formal systems, standard and nonstandard models, Godel numberings, Turing machines, recursive functions, and evidence for Church's thesis.
