ordinals, species (1968)

by G Kreisel, Functions
Venue:In: Proc. 3rd Int. Congr