Complexity Classes of Provable Recursive Functions

Dan Gordon. Complexity Classes of Provable Recursive Functions. J. Comput. Syst. Sci., 18(3):294-303, 1979.

Abstract

Abstract is missing.