PHIL 106B — Mathematical Logic
[ hum sn ]Covers in detail several of the following proofs: the Gödel Incompleteness Results, Tarski's Undefinability of Truth Theorem, Church's Theorem on the Undecidability of Predicate Logic, and Elementary Recursive Function Theory. Usually offered every year.
Berislav Marušić