On constructive versions of independence friendly logic - Доклады на конференциях | Sciact - Система учета научной деятельности ИМ СО РАН

Язык

Английский

Тип доклада

Пленарный

Url доклада

Конференция

Logical Pespectives 2018
14-18 мая 2018 , Международный математический институт им. Леонарда Эйлера, Песочная наб., 10, г. Санкт-Петербург

Авторы

Odintsov Sergei P. ¹

Организации

1	Институт математики им. С.Л. Соболева СО РАН

Odintsov S.P.
On constructive versions of independence friendly logic
Logical Pespectives 2018 14-18 May 2018