TY - BOOK AU - Yasuhara, Ann AU - TI - Recursive function theory and logic U1 - 518.5 PY - 1971/// CY - New York PB - Academic Press KW - recursive fucnction theory KW - function theory and logic KW - Calculation KW - Mathematical games KW - Computing aids ER -