|
|
|
Список литературы
|
|
|
1. |
Г. Такеути, Теория доказательств, Мир, М., 1978 |
2. |
Дж. Шенфилд, Математическая логика, Наука, М., 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 |