Proof according to Gentzen (in French)
Автор: Bufetov conférences
Загружено: 2021-08-12
Просмотров: 369
Описание:
Club des mathématiques de Marseille, 14.04.2021
This is a short talk devoted to the ``sequent calculus''. We explore fundamental contributions and the tragic destiny of the genius from Greifswald.
Повторяем попытку...
Доступные форматы для скачивания:
Скачать видео
-
Информация по загрузке: