TY  - BOOK
AU  - Sieg,Wilfried
ED  - Workshop on Logic and Computation
TI  - Logic and computation: proceedings of a workshop held at Carnegie Mellon University, June 30-July 2, 1987 
T2  - Contemporary mathematics,
AV  - QA9.59 .W67 1987
U1  - 511.3 20
PY  - 1990///]
CY  - Providence, Rhode Island
PB  - American Mathematical Society
KW  - Computable functions
KW  - Data processing
KW  - Congresses
KW  - Electronic books
N1  - "The Workshop on Logic and Computation was held at Carnegie Mellon University on June 30-July 2, 1987"--T.p. verso; Includes bibliographical references
UR  - https://ebookcentral.proquest.com/lib/bacm-ebooks/detail.action?docID=3112895
ER  -