Mathematical Logic
via Foundational Algorithms

44342 PSU CS 410 (undergraduate) and
44343 PSU CS 510 (graduate)

Course Description and Grading
Course Schedule
Drop Box
Resources
Haskel programming resource page.

Class meets: Winter Quarter 2011. 
         Tuesday / Thursday 14:00-15:50, Fourth Avenue Building (FAB), room 150.

Instructors: