Description: Propositional and predicate calculus; the Godel completeness and compactness theorems; primitive recursive and recursive functions; the Godel incompleteness theorem; Tarski's theorem; ...