|
СЕМИНАРЫ |
Спецкурс "Доказуемость и формальная арифметика"
|
|||
|
Лекция 12. Формализация синтаксиса в арифметике Л. Д. Беклемишев |
|||
Аннотация: Доказуемость схемы Примитивно рекурсивная формализация синтаксиса. Доказуемая |