Аксиоматизация интуиционистских логик малой глубины

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

Конференция: Молодежь и наука; Красноярск; Красноярск

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

Ключевые слова: аксиоматизация логик

Издание

Журнал: Молодежь и наука

Место издания: Красноярск

Издатель: Сибирский федеральный университет

Авторы

Информация о публикациях загружается с сайта службы поддержки публикационной активности СФУ. Сообщите, если заметили неточности.

Вы можете отметить интересные фрагменты текста, которые будут доступны по уникальной ссылке в адресной строке браузера.