Complexity Classes of Provable Recursive Functions

Cite this paper

@article{Gordon1979ComplexityCO, title={Complexity Classes of Provable Recursive Functions}, author={Dan Gordon}, journal={J. Comput. Syst. Sci.}, year={1979}, volume={18}, pages={294-303} }