Matt Fairtlough

Bibliography

Fairtlough, Matt and Wainer, Stanley S. 1998. “Hierarchies of Provably Recursive Functions.” in Handbook of Proof Theory, edited by Samuel R. Buss, pp. 149–207. Studies in Logic and the Foundations of Mathematics n. 137. Amsterdam: Elsevier Science Publishers B.V.