Yasuhara A Recursive function theory and logic - New York Academic Press 1971 - xv,338p. cm. - Computerscience and applied mathematics: A series of monographs and textbooks . Standard No.: 40651 Source: Textual Dewey Class. No.: B39:(R1), L1