Fundamentals of Generalized Recursion Theory

Fundamentals of Generalized Recursion Theory

Provability, Computability and Reflection.
Sign up to use