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
- This course is not scheduled for the 2014-2015 academic year.
- There are no professors associated with this course for the 2014-2015 academic year.