Über ein mit der Bar-Induktion Verwandtes Schema.Published in:Mathematical Logic Quarterly, 1979, v. 25, n. 30, p. 465, doi. 10.1002/malq.19790253002By:Vogel, HelmutPublication type:Article
Masthead.Published in:Mathematical Logic Quarterly, 1979, v. 25, n. 30, p. fmi, doi. 10.1002/malq.19790253001Publication type:Article
A Limit for Higher Recursion Theory.Published in:Mathematical Logic Quarterly, 1979, v. 25, n. 30, p. 475, doi. 10.1002/malq.19790253003By:Luckhardt, H.Publication type:Article