MATH 5002 - Logic for Mathematics and Computer Science

3 Same as CSCI 5002

P: CSCI 2405 or MATH 2300 or MATH 3256 or PHIL 3580 or equivalent. Methods of mathematical logic that have important applications in mathematics and computer science.