PHIL 4310 - [Mathematical Logic]

(crosslisted) MATH 4810
(MQR-AS)

Fall (offered in even-numbered years only). Next Offered: 2020-2021. 4 credits. Student option grading.

Forbidden Overlap: due to an overlap in content, students will receive credit for only one course in the following group: CS 4860, MATH 4810, MATH 4860, PHIL 4310.
Prerequisite: MATH 2220 or MATH 2230 and preferably some additional course involving proofs in mathematics, computer science, or philosophy.

Staff.

For description, see MATH 4810.