Explore the latest books of this year!
Bookbot

Peter G. Hinman

    Studies in Logic and the Foundations of Mathematics - 79: Generalized Recursion Theory