Eric Fenstad, Recursion Theory: An axiomatic Approach (1980)

by Jens