Peter G. Hinman Libri

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

Proceedings of the 1972 Oslo Symposium