CSCI 5002 - Logic for Mathematics and Computer Science

3 Same as MATH 5002.

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