|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
Ordinal completeness of bimodal provability logic GLBстатья
Информация о цитировании статьи получена из
Scopus
Дата последнего поиска статьи во внешних источниках: 29 февраля 2016 г.
- Автор: Beklemishev L.
- Сборник: Logic, language, and computation. 8th International Tbilisi Symposium TbiLLC 2009
- Серия: Lecture Notes in Computer Science
- Том: 6618
- Год издания: 2011
- Место издания: Springer Heidelberg
- Первая страница: 1
- Последняя страница: 15
- DOI: 10.1007/978-3-642-22303-7_1
- Добавил в систему: Беклемишев Лев Дмитриевич