Constructive theories of functions and classes (1979)

by Solomon Feferman
Venue:Logic Colloquium ’78