An introduction to inductive de (1977)

by P Aczel
Venue:Handbook of Mathematical Logic