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  -