Logic and computation : proceedings of a workshop, Carnegie Mellon University, June 30-July 2, 1987 / edited by Wilfried Sieg
American Mathematical Society
Logic and computation : proceedings of a workshop, Carnegie Mellon University, June 30-July 2, 1987 / edited by Wilfried Sieg - - Providence : American Mathematical Society, 1992 1990 - xiv,297 p. 25 cm - .
0-8218-5110-10
Computable functions-Data processing-Congresses
517.1:681.3 Ame:87
Logic and computation : proceedings of a workshop, Carnegie Mellon University, June 30-July 2, 1987 / edited by Wilfried Sieg - - Providence : American Mathematical Society, 1992 1990 - xiv,297 p. 25 cm - .
0-8218-5110-10
Computable functions-Data processing-Congresses
517.1:681.3 Ame:87