В 2022 году Computer Science Center приостановил набор и обучение
Курсы
/
Математическая логика
/
осень 2020
/

Лекция 5. Логика первого порядка: синтаксис и доказательства

Среда, 07 октября 2020
Онлайн, занятие в zoom