A. S. Troelstra Books

Studies in Logic and the Foundations of Mathematics, Volume 94 - 2: Generalized Recursion Theory

Proceedings of the 1977 Oslo Symposium