Computability and enumerability (1995)

by R I Soare
Venue:Proceedings of the 10 th International Congress for Logic, Methodology and the Philosophy of Science, Section 3: Recursion Theory and Constructivism