Recursive function theory and logic - Yasuhara, Ann (Computer Science and Applied Mathematics / Academic Press Inc.., 1971)