MATH 5002 - Logic for Mathematics and Computer Science

3 S Same as CSCI 5002.

P: CSCI 3510 or MATE 3223 or 2775 or MATH 2427 or 2775 or 3256 or PHIL 3580 or equivalent. Methods of mathematical logic that have important applications in mathematics and computer science.