Contemporary Mathematics Volume 106, American Mathematical Society, 1990, Wilfried Sieg, Editor, Logic and Computation: Proceedings of a Workshop held at Carnegie Mellon University, June 30-July 2, 1987 (informationswissenschaftl. Veröffentlichungen).