An introduction to inductive denitions (1977)

by P Aczel
Venue:Handbook of Mathematical Logic, Studies in Logic and Foundations of Mathematics. North