Iterated inductive definitions, trees, and ordinals (1973)

by J I Zucker
Venue:In Metamathematical Investigation of Intuitionistic Arithmetic and Analysis