COMP 527
3 credits
Logic and Computation

Computer Science (Sci): Introduction to modern constructive logic, its mathematical properties, and its numerous applications in computer science.

Offered by: Computer Science