Просмотр коллекции по группе - По тематике FIRST ORDER LOGIC
Отображение результатов 1 до 2 из 2
Дата публикации | Название | Авторы |
---|---|---|
2022 | Maximality of bi-intuitionistic propositional logic | Olkhovikov, G.; Badia, G. |
2014 | Model-theoretic characterization of intuitionistic predicate formulas | Olkhovikov, G. K. |