Examination of the use of mathematical logic and computation for solving some of the world's fundamental problems.
CourseBuffet
Course Reviews