RUS  ENG
Полная версия
ЖУРНАЛЫ // Успехи математических наук

УМН, 1982, том 37, выпуск 4(226), страницы 179–180 (Mi rm3852)

Арифметика 2-го порядка и непротиворечивость теорий 1-го порядка
В. И. Степанов

Список литературы

1. Г. Такеути, Теория доказательств, Мир, М., 1978  mathscinet
2. Дж. Шенфилд, Математическая логика, Наука, М., 1975  mathscinet
3. S. Feferman, “Arithmetization of metamathematic in general setting”, Fund. Math., 49 (1960), 35–92  mathscinet  zmath
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  mathscinet


© МИАН, 2025