Selected topics in mathematical logic, including propositional and quantificational logic, number theory, and the major metatheoretical results. The course content may vary. Students can earn multiple credits for this course only when the topic subtitle is different [3 credits]
Selected topics in mathematical logic, including propositional and quantificational logic, number theory, and the major metatheoretical results. The course content may vary. Students can earn multiple credits for this course only when the topic subtitle is different [3 credits]
