Logic and Computation: Proceedings of a Workshop Held at Carnegie Mellon University, June 30-July 2, 1987 (Contemporary Mathematics)