Yasuhara, Ann.
Recursive function theory and logic
Ann Yasuhara.
- New York Academic Press 1971.
- 338p. ill. 24cm.
- Computer science and applied mathematics. .
Bibliography p.321-326.
0127689508
Recursive functions.
Logic, Symbolic and mathematical.