RUS  ENG
Полная версия
СЕМИНАРЫ



Лекция 5. Сохранение типа при бета-редукции. Интуиционистская логика высказываний, соответствие Карри - Говарда

С. Л. Кузнецов


https://youtu.be/qx9uguXDLco


© МИАН, 2024