Mathematical Foundations of Computer Science, Aug-Dec 2008

Assignment I

Professor Victor Shoup's lecture notes here