Заседание №62 (16 октября 2021 г.)

Время: 
13:00
Место: 
пр. Свободный, 79, ауд. 34-01

Доклад:

  • С.И. Башмаков - О семинаре. Краткое введение в область исследований.
  • Е.А. Донец - Унификация в предтабличных расширениях интуиционистской логики.

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

  • Башмаков С.И.
  • Зверева Т.Ю.
  • Михайлов М.А.
  • Мукосий А.А.
  • Проценко Н.А.
  • Смелых К.А.
  • Эберле В.С.
  • Чувашов С.Ю.
Башмаков С. И.

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

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