Generalized inductive definitions. Stanford Report on the Foundations of Analysis (mimeographed (1963)

by Georg Kreisel