An introduction to inductive definitions (0)

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