Заседание №41 (22 октября 2020 г.)

Время:

15:00

Место:

пр. Свободный, 79, ауд. 34-17

Доклады:

Е.А. Донец - «Унификация в языке классической логики»

Участники семинара:

Башмаков С.И.
Зверева Т.Ю.
Донец Е.А.
Ташкен А.О.

Башмаков С. И.

© 2023 Институт математики
и фундаментальной информатики СФУ

+7 (391) 206-21-48 math@sfu-kras.ru