Foundations of Mathematical Logic and Applications

A course in mathematical logic covers Proof Theory, Model Theory, and the theory of Decidability. Topics include Sentential Logic, First order Logic, Deductive Calculus, Completeness and Soundness Theorems, Model theory, Isomorphisms, Compactness Theorem, and Godel's Incompleteness theorem, applications to theoretical computer science and complexity theory.