|
СЕМИНАРЫ |
Спецкурс «Сложность исчисления Ламбека»
|
|||
|
Лекция 3. Первая часть доказательства критерия выводимости для М. Р. Пентус Московский государственный университет имени М. В. Ломоносова, механико-математический факультет |
|||
Аннотация: Вспомогательное исчисление |