Hereditarily majorizable functionals of finite type (1973)

by W A Howard
Venue:Metamathematical investigation of intuitionistic arithmetic and analysis