Заседание №12 (17 сентября 2019 г.)

Время:

17:30

Место:

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

Тема:
Башмаков С.И. - "Классическое пропозициональное исчисление".
Родюшкин А.И. - "Аксиоматика Гильбертовского типа для CPC".

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

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

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