Algebraic Recursion Theory (1986)

by L L Ivanov