RUS
ENG
Полная версия
СЕМИНАРЫ
Структурная теория доказательств и алгебраическая логика
8 февраля 2021 г.
16:35
, г. Москва, МФТИ - МИАН
Лекция 1. Генценовское исчисление для интуиционистской логики высказываний
С. Л. Кузнецов
https://youtu.be/Bne_QdqeIK0
©
МИАН
, 2024
