Logic and computation : proceedings of a workshop held at Carnegie Mellon University, June 30-July 2, 1987 - Sieg, Wilfried, 1945- (Contemporary mathematics (American Mathematical Society), 1990)