On the strength of some semi-constructive theories (0)

by S Feferman
Venue:In: U.Berger, P. Schuster, M. Seisenberger (Eds.): Logic, Construction, Computation (Ontos Verlag, Frankfurt