Topics in Logic and Foundations

3 Hours

Recent topics have included set theory, model theory, proof theory, axiomatic theorem proving, automatic theorem proving, foundations of mathematics, recursion theory. Three lecture hours a week for one semester.