Тип публикации: доклад, тезисы доклада, статья из сборника материалов конференций

Конференция: Математика в современном мире

Год издания: 2017

Ключевые слова: логики

Журнал: Математика в современном мире

Номера страниц: 67-68

Место издания: Новосибирск

Издатель: Изд-во Института математики

• Башмаков Степан Игоревич (Сибирский федеральный университет)
• Kosheleva A.V. (KRASNOYARSK STATE UNIV)
• RYBAKOV V.V. (Krasnoyarsk State University)