| RUS ENG |
| Полная версия |
|
|
|
| СЕМИНАРЫ |
|
Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
|
|||
|
|
|||
|
Логика интерпретируемости. Часть 1 Л. Д. Беклемишев |
|||
|
Аннотация: Будет изложена известная теорема Берардуччи–Шаврукова об арифметической полноте для логики интерпретируемости над арифметикой Пеано (доказательство следует работе Г. Джапаридзе и Д. де Йонга). |
|||