Результаты по теории моделей о богатых типах в многосортных многозначных системах и коллективных кластеризациях формул и типов в логических исчислениях Conference attendances
| Language | Русский | ||
|---|---|---|---|
| Participant type | Секционный | ||
| URL | http://www.math.nsc.ru/conference/mmw/2017/Book_Abstract.pdf | ||
| Conference |
International Conference "Mathematics in the Modern World" dedicated to the 60th anniversary of the foundation of the Sobolev Institute of Mathematics 14-19 Aug 2017 , Новосибирск ИМ СО РАН |
||
| Authors |
|
||
| Affiliations |
|
Cite:
Викентьев А.А.
Результаты по теории моделей о богатых типах в многосортных многозначных системах и коллективных кластеризациях формул и типов в логических исчислениях
International Conference "Mathematics in the Modern World" dedicated to the 60th anniversary of the foundation of the Sobolev Institute of Mathematics 14-19 авг. 2017
Результаты по теории моделей о богатых типах в многосортных многозначных системах и коллективных кластеризациях формул и типов в логических исчислениях
International Conference "Mathematics in the Modern World" dedicated to the 60th anniversary of the foundation of the Sobolev Institute of Mathematics 14-19 авг. 2017