Iterated inductive definitions, trees and ordinals

• 1 January 1973
• book chapter
• Published by Springer Nature in Lecture Notes in Mathematics
• p. 392-453
• https://doi.org/10.1007/bfb0066745

Abstract