| RUS ENG |
| Полная версия |
|
|
|
| СЕМИНАРЫ |
|
Спецкурс "Доказуемость и формальная арифметика"
|
|||
|
|
|||
|
Лекция 13. Доказуемость как модальность Л. Д. Беклемишев |
|||
|
Аннотация: Язык модальной логики, арифметическая интерпретация, логика доказуемости в данной теории относительно метатеории, аксиоматизация логики доказуемости, правило и аксиома Лёба, их эквивалентность |
|||
