Functionals defined by transfinite recursion (1965)

by W W Tait
Venue:Journal of Symbolic Logic