MIPT-ML-20-Sem-27a
Математическая логика в МФТИ для ПМФ. Доп. семинар. Темы: формальный вывод в теории; теорема компактности и ее применения.
Название:
MIPT-ML-20-Sem-27a
Категория:
РазноеМатематическая логика в МФТИ для ПМФ. Доп. семинар. Темы: формальный вывод в теории; теорема компактности и ее применения.
Название:
MIPT-ML-20-Sem-27a
Категория:
Разное