COMP 527 Logic and Computation

Description
Introduction to modern constructive logic, its mathematical properties, and its numerous applications in computer science.
Credits
3.0
Computer Science

Summary

Subject Semester

Course review

Winter 2014