TY - BOOK AU - Yasuhara, Ann TI - RECURSIVE FUNCTION THEORY AND LOGIC U1 - 511.3 PY - 1971/// CY - N. Y. PB - Academic Press KW - Recursive Functions KW - Logic, Symbolic And Mathematical N1 - Ref. : P. 321-326 ER -