Reverse Mathematics, in: Recursion Theory, edited by A. Nerode and (1985)

by Stephen G Simpson
Venue:Proceedings of Symposia in Pure Mathematics, American Mathematical Society