The propositional and predicate calculi, syntax and semantics, consistency and completeness and undecidability. Included are Goedel’s theorems, recursive function theory, model theory and applications.