An introduction to inductive de��nitions, in iHandbook of Mathematical Logic (1977)

by P Aczel