Hereditarily majorizable functionals of finite type (0)

by W A Howard
Venue:Metamathematical investigation of intuitionistic Arithmetic and Analysis, volume 344 of Lecture