Propositional and predicate logic

Logical consequence

Mathematical logic & set theory · Theoretical / proof-based

Undergraduate Mathematical Logic & Set Theory — scope drawn from open logic/set theory notes and typical US intro logic syllabi.