Lipton, Richard J.

Theory of Computation. Mathematics of Computing. History of Computing. Algorithm Analysis and Problem Complexity. Computational complexity. Computer Science. Mathematical Logic and Foundations. Algorithms.