𝓜

Math Notes

University Mathematics

Mathematical Logic

Propositional and predicate logic, proof systems, model theory, and incompleteness

Ch 1Propositional Logic
6 items
Ch 2Predicate Logic
6 items
Ch 3Proof Systems
6 items
Ch 4Model Theory
6 items
Ch 5Computability
6 items
Ch 6Incompleteness
6 items
Ch 7Set Theoretic Logic
6 items
Ch 8Modal Logic
6 items
Mathematics Lecture Notes