|
СЕМИНАРЫ |
Л. Д. Беклемишев, С. Л. Кузнецов. Вычислительная теория доказательств и лямбда-исчисление
|
|||
|
Лекция 21. Применения функциональной интерпретации. Интерпретация отсутствием контрпримера. Модели системы Т Л. Д. Беклемишев |
|||
|