Login / Signup

Über die mit dem Bar-Rekursor vom Typ 0 definierbaren Ordinalzahlen.

H. Vogel
Published in: Arch. Math. Log. (1978)
Keyphrases