Logic and computation
Subtitle: proceedings of a workshop held at Carnegie Mellon University, June 30-July 2, 1987
By: Wilfried Sieg, editor.
Contributors: Sieg, Wilfried, 1945-
Series: Contemporary mathematics,; v. 106; Contemporary mathematics (American Mathematical Society) ;; v. 106.
Publisher: American Mathematical Society
Published: 1990
Place of publication: Providence, R.I
Language: eng
Number of pages: 297
Subjects: Computable functions -- Data processing -- Congresses.
Notes: Includes bibliographical references.
"The Workshop on Logic and Computation was held at Carnegie Mellon University on June 30-July 2, 1987"--T.p. verso.