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

On strong recognizability of the intuitionistic logic Доклады на конференциях

Язык

Английский

Тип доклада

Секционный

Url доклада

https://lc2019.cz/static/abstracts/114-maksimovayun.pdf?e774c205507efcbf6c75

Конференция

European Summer Meeting of the Association for Symbolic Logic, Logic Colloquium 2019
11-16 авг. 2019 , Прага

Авторы

Maksimova L. ^1,2 , Yun V. ^1,2

Организации

1	Институт математики им. С.Л. Соболева СО РАН
2	Новосибирский государственный университет

Maksimova L. , Yun V.
On strong recognizability of the intuitionistic logic
European Summer Meeting of the Association for Symbolic Logic, Logic Colloquium 2019 11-16 Aug 2019