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

by S Feferman
Venue:in Feferman and Sieg