Электронный научный архив УрФУ: Просмотр архива электронных ресурсов

Просмотр коллекции по группе - По автору Olkhovikov, G.

Перейти к: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
А Б В Г Д Е Ж З И Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Щ Ъ Ы Ь Э Ю Я
или введите несколько первых букв:

Отображение результатов 1 до 3 из 3

Дата публикации	Название	Авторы
2013	Failure of interpolation in constant domain intuitionistic logic	Mints, G.; Olkhovikov, G.; Urquhart, A.
2020	A Lindström theorem in many-valued modal logic over a finite MTL-chain	Badia, G.; Olkhovikov, G.
2022	Maximality of bi-intuitionistic propositional logic	Olkhovikov, G.; Badia, G.

Отображение результатов 1 до 3 из 3