Лекция 1. Введение в математическую логику
Среда, 09 сентября 2020
Онлайн, занятие в zoom
Информация о курсе. Логические рассуждения и символические вычисления.