Rekursion über Dilatoren und die Bachmann-Hierarchie.

Peter Päppinghaus
Published in: Arch. Math. Log. (1989)
Keyphrases