Г. Минц: "Логические уравнения в одноместном иcчислении предикатов"

Понедельник, 15 июня, комната 203. Начало в 14:00.

Докладчик: Григорий Минц (Стенфорд).

Тема: Логические уравнения в одноместном иcчислении предикатов.