Mathematical Logic

Propositions & Truth Tables

Logical Connectives

Proof Techniques

Sets & Set Theory

Quantifiers and Predicates

Deductive Systems for First-Order Logic

Soundness and Completeness of First-Order Logic

Model Theory: Compactness and Löwenheim-Skolem Theorems

Computability and Recursive Functions

Undecidability and the Halting Problem

Gödel's Incompleteness Theorems

Forcing and the Independence of the Continuum Hypothesis

Relativity and Degrees of Unsolvability (Turing Degrees)

Tarski's Undefinability Theorem and Definability in Arithmetic

Proof Theory: Gentzen's Sequent Calculus and Cut-Elimination

Intuitionistic Logic and Constructive Mathematics

Non-Standard Models and Ultraproducts