|
ИСТИНА |
Войти в систему Регистрация |
Интеллектуальная Система Тематического Исследования НАукометрических данных |
||
Classification of propositional provability logicsстатья
- Автор: Beklemishev L.D.
- Сборник: Provability, Complexity, Grammars
- Серия: American Mathematical Society Translations, Series 2
- Том: 192
- Год издания: 1999
- Место издания: Amer. Math. Soc Providence, RI
- Первая страница: 1
- Последняя страница: 56
- Добавил в систему: Беклемишев Лев Дмитриевич