| RUS ENG |
| Full version |
|
|
|
| SEMINARS |
|
Course by L. D. Beklemishev and T. L. Yavorskaya "Provability and Formal Arithmetic II"
|
|||
|
|
|||
|
Lecture 9. Provability and Formal Arithmetic L. D. Beklemishev, T. L. Yavorskaya |
|||
|
|
|||
