1-1 of 1 Books
Logic and computation
By Workshop on Logic and Computation (1987 Carnegie Mellon University)