On constructive versions of independence friendly logic Доклады на конференциях
Язык | Английский | ||
---|---|---|---|
Тип доклада | Пленарный | ||
Url доклада | http://www.pdmi.ras.ru/EIMI/2018/LP/lp_2018-abstracts.pdf | ||
Конференция |
Logical Pespectives 2018 14-18 мая 2018 , Международный математический институт им. Леонарда Эйлера, Песочная наб., 10, г. Санкт-Петербург |
||
Авторы |
|
||
Организации |
|
Библиографическая ссылка:
Odintsov S.P.
On constructive versions of independence friendly logic
Logical Pespectives 2018 14-18 May 2018
On constructive versions of independence friendly logic
Logical Pespectives 2018 14-18 May 2018