Proof systems and completeness

Undecidability

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.