Algorithmen für Ordnungszahlen und Normalfunktionen III.Published in:Mathematical Logic Quarterly, 1970, v. 16, n. 1, p. 1, doi. 10.1002/malq.19700160102By:Neumer, WalterPublication type:Article
Masthead.Published in:Mathematical Logic Quarterly, 1970, v. 16, n. 1, p. fmi, doi. 10.1002/malq.19700160101Publication type:Article