Second-order arithmetic and the consistency of first-order theories
V. I. Stepanov

References
1.	G. Takeuti, Teoriya dokazatelstv, Mir, M., 1978
2.	Dzh. Shenfild, Matematicheskaya logika, Nauka, M., 1975
3.	S. Feferman, “Arithmetization of metamathematic in general setting”, Fund. Math., 49 (1960), 35–92
4.	Handbook of Mathematical logic, N.H.P.C., 1977
5.	K. Gödel, “Veber formal unentscheidbare Satze der Principia Mathematica und verwandter Systeme”, J. Math. Phys., 38 (1931), 173–198