|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ЦЭМИ РАН |
||
Ways of proof theoryсборник
- Год издания: 2010
- Серия: Ontos Mathematical Logic
- Том: 2
- Место издания: Ontos Verlag Frankfurt
- Добавил в систему: Беклемишев Лев Дмитриевич
Статьи, опубликованные в сборнике
-
- 2010 On topological models of GLP
- Beklemishev L., Bezhanishvili G., Icard T.
- в сборнике Ways of proof theory, серия Ontos Mathematical Logic, место издания Ontos Verlag Frankfurt, том 2, с. 133-153