1. Электронный научный архив УрФУ

Просмотр коллекции по группе - По тематике FIRST ORDER LOGIC

Перейти к: 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 до 2 из 2
Дата публикацииНазваниеАвторы
2022Maximality of bi-intuitionistic propositional logicOlkhovikov, G.; Badia, G.
2014Model-theoretic characterization of intuitionistic predicate formulasOlkhovikov, G. K.
Отображение результатов 1 до 2 из 2