|
ИСТИНА |
Войти в систему Регистрация |
ФНКЦ РР |
||
Mathematical Problems from Applied Logic II. Logics for the XXIst Centuryсборник
- Год издания: 2007
- Серия: International Mathematical Series
- Том: 5
- Коллективная монография
- Место издания: Springer
- Добавил в систему: Золин Евгений Евгеньевич
Статьи, опубликованные в сборнике
-
- 2007 On two models of provability
- Artemov Sergei
- в сборнике Mathematical Problems from Applied Logic II. Logics for the XXIst Century, серия International Mathematical Series, место издания Springer, том 5, с. 1-52 DOI