Generalized inductive definitions, in: Stanford Report on the Foundations of Analysis (Mimeographed (1963)

by G Kreisel
Venue:Section III