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

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