|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ЦЭМИ РАН |
||
Mathematical Problems from Applied Logic I. Logics for the XXIst Centuryсборник
- Год издания: 2006
- Серия: International Mathematical Series
- Том: 4
- Коллективная монография
- Место издания: Springer New York, NY
- Добавил в систему: Беклемишев Лев Дмитриевич
Статьи, опубликованные в сборнике
-
- 2006 Problems in the logic of provability
- Beklemishev L., Visser A.
- в сборнике Mathematical Problems from Applied Logic I. Logics for the XXIst Century, серия International Mathematical Series, место издания Springer New York, NY, том 4, с. 77-136 DOI