Hereditarily majorizable functionals of finite type, In: Metamathematical Investigation of Intuitionistic Arithmetic and Analysis (1973)

by W A Howard
Venue:Lecture Notes in Math