Recursive function theory and logic
Yasuhara, Ann.
New York London Academic Press
1971
Bibliographyp.321-326. - Includes index
Recursive functions.
Logic, Symbolic and mathematical.