Recursive function theory and logic - Yasuhara A (New York Academic Press, 1971)