Constnictive theories of functions and classes (1979)

by S Feferman
Venue:In Logic Colloquium 78