TY - BOOK AU - Cohen Daniel E TI - Computability and logic SN - 0745800343 U1 - D6,9(B), M7 PY - 1987/// CY - New York PB - John Wiley KW - Computer Science N1 - Mathjkematics and its applications; Statistics and operational Research; Bibliography P 234-36 ER -