TY - BOOK AU - Yasuhara, Ann TI - Recursive Function Theory And Logic SN - 000 U1 - 517.3 PY - 1970/// CY - New York PB - Academic Press ER -