Constructive theories of functions and classes, Logic Colloquium '78, M. Boffa et al (eds), pp 159-224 (1979)

by S Feferman
Venue:Feferman, S., Weyl vindicated: ‘Das Kontinuum