On the theory of inductive families
Tom 26 / 1965
Studia Mathematica 26 (1965), 1-10
DOI: 10.4064/sm-26-1-1-10