Mathematical Logic

Undergraduate

starts with a brief overview of basic set theory, followed by an introduction to propositional and predicate logic and basics of model theory (models, theories, compactness theorem) and computability theory (computable and computably enumerable sets, first order arithmetic).