Displaying similar documents to “Constructions of classes by transfinite induction in AST”