TY - BOOK AU - Yasuhara A TI - Recursive function theory and logic T2 - Computerscience and applied mathematics: A series of monographs and textbooks U1 - B39:(R1), L1 PY - 1971/// CY - New York PB - Academic Press ER -