Iterated inductive definitions, trees, and ordinals, Metamathematical investigation of intuitionistic arithmetic and analysis (1973)

by J I ZUCKER
Venue:Editor), Lecture Notes in Mathematics