T. Ehring

• Ein primitiv rekursives Bezeichnungssystem über einer Hierarchie von Mahlofunktionen