References

1. Samuel R. Buss (1998): First-Order Proof Theory of Arithmetic. In: Handbook of Proof Theory, chapter II, Studies in Logic and the Foundations of Mathematics 137. Elsevier, pp. 79–147.
2. Stephen Kleene (1952): Introduction to Metamathematics. Wolters-Noordhof, Groningen.
3. Daniel Leivant (2002): Intrinsic reasoning about functional programs I: first order theories. Annals of Pure and Applied Logic 114(1–3), pp. 117–153, doi:10.1016/S0168-0072(01)00078-1.
4. Anne Sjerp Troelstra & Helmut Schwichtenberg (2000): Basic proof theory (2nd edition). Cambridge University Press, New York, NY, USA.

Comments and questions to: eptcs@eptcs.org

For website issues: webmaster@eptcs.org