functionals in proof theory, in (0)

by Ordinals
Venue:Proceedings of the International Congress of Mathematicians