Ein primitiv rekursives Bezeichnungssystem über einer Hierarchie von Mahlofunktionen
By: Thomas Ehring
Contributors: Universität Hannover
Published: 1990
Language: ger
Notes: Thesis (doctoral)--Universität Hannover, 1990.