Grzegorczyk hierarchy

From dankwiki