TY - BOOK AU - Rogers H TI - Theory of recursive functions and effective computability U1 - B217, K7 PY - 1967/// CY - New York PB - McGraw-Hill KW - Combinatorial Theory ER -