Source: wikibot/theories-of-iterated-inductive-definitions
= Theories of iterated inductive definitions
{wiki=Theories_of_iterated_inductive_definitions}
= Theories of iterated inductive definitions
{wiki=Theories_of_iterated_inductive_definitions}