An introduction to inductive de nitions (1977)

by P Aczel
Venue:Handbook of Mathematical Logic, volume 90 of Studies in Logic and the Foundations of Mathematics