Introduction to Mathematical Logic

MATH487

Propositional calculus; predicate calculus. Gödel completeness theorem, applications of number theory, incompleteness theorem, additional topics in proof theory or computability; contributions of Aristotle, Boole, Frege, Hilbert, and Gödel. Prerequisite: Mathematics 212 and 221 or Philosophy 250. One course. 

Curriculum Codes
QS