Die Vollständigkeit der verzweigten Typenlogik mit unendlicher Terminduktion. M.H. Löb — 1967 Archiv für mathematische Logik und Grundlagenforschung
Hierarchies of number - theoretic functions I, II: a correction. M.H. Löb; S.S. Wainer — 1971 Archiv für mathematische Logik und Grundlagenforschung
Hierarchies of number-theoretic functions. I. M.H. Löb; S.S. Wainer — 1970 Archiv für mathematische Logik und Grundlagenforschung
Hierarchies of number-theoretic functions. II. M.H. Löb; S.S. Wainer — 1970 Archiv für mathematische Logik und Grundlagenforschung