TY - BOOK ED - Symposia in Pure Mathematics( 1961 : N Y ) ED - Symposia in Pure Mathematics TI - Recursive function theory: proceedings U1 - 510.6PM PY - 1962/// CY - Providence PB - AMS KW - Mathematics KW - Recursive function theory ER -