Recursive function theory and logic - Yasuhara, Ann. (New York Academic Press, 1971)
Bibliography p.321-326.
Keywords: Recursive functions; Logic, Symbolic and mathematical