TY - BOOK AU - Sieg,Wilfried ED - Workshop on Logic and Computation (1987 : Carnegie Mellon University) TI - Logic and computation: proceedings of a workshop held at Carnegie Mellon University, June 30-July 2, 1987 T2 - Contemporary mathematics, SN - 0821851101 (papel alcalino) AV - QA9.59 W67 1990 PY - 1990/// CY - Providence, Rhode Island PB - American Mathematical Society KW - Congresos KW - Lemb KW - Funciones computables KW - Procesos de datos ER -