A system of abstract constructive ordinals (1972)

by W A Howard
Venue:Journal of Symbolic Logic