Просмотр коллекции по группе - По тематике CONSTANT DOMAINS
Отображение результатов 1 до 1 из 1
Дата публикации | Название | Авторы |
---|---|---|
2014 | Model-theoretic characterization of intuitionistic predicate formulas | Olkhovikov, G. K. |
Дата публикации | Название | Авторы |
---|---|---|
2014 | Model-theoretic characterization of intuitionistic predicate formulas | Olkhovikov, G. K. |