CSC 8510 Theory of Computability
  Section 001 Spring 2009 Dr. Thomas Way