1. Boolos, G.S., Burgess, J.P., Jeffrey, R.C.: Computability and Logic, 4th edn. Cambridge University Press, Cambridge (2002)
2. Buss, S.R.: Bounded Arithmetic. Bibliopolis, Napoli (1986)
3. Buss, S.: Cut elimination in situ. In: Kahle, R., Rathjen, M. (eds.) Gentzen’s Centenary, pp. 245–277. Springer International Publishing, Berlin (2015)
4. Ebbs, G.: Satisfying predicates: Kleene’s proof of the Hilbert–Bernays theorem. Hist. Philos. Log. 36(4), 1–21 (2014)
5. Feferman, S.: Arithmetically definable models of formalized arithmetic. Notices of the American Mathematical Society 5, 679–680 (1958)