Second-order Arithmetic - References

References

• Burgess, John P., 2005. Fixing Frege. Princeton University Press.
• Buss, S. R., Handbook of proof theory ISBN 0-444-89840-9
• Friedman, Harvey. "Systems of second order arithmetic with restricted induction," I, II (Abstracts). Journal of Symbolic Logic, v.41, pp. 557-- 559, 1976. JStor
• Girard, Lafont and Taylor, 1987. Proofs and Types. Cambridge University Press.
• Hilbert, David; Bernays, Paul (1934), Grundlagen der Mathematik, Die Grundlehren der mathematischen Wissenschaften, Band 40, 50, Berlin, New York: Springer-Verlag, MR0237246
• Simpson, Stephen G. (2009), Subsystems of second order arithmetic, Perspectives in Logic (2nd ed.), Cambridge University Press, ISBN 978-0-521-88439-6, MR2517689
• Gaisi Takeuti (1975) Proof theory ISBN 0-444-10492-5