|
ИСТИНА |
Войти в систему Регистрация |
Интеллектуальная Система Тематического Исследования НАукометрических данных |
||
Provability Logicстатья
- Авторы: Artemov Sergei N., Beklemishev Lev D.
- Сборник: Handbook of Philosophical Logic, 2nd edition, Volume 13, Gabbay D.M., Guenthner F. (eds.)
- Глава в коллективной монографии
- Год издания: 2005
- Место издания: Springer
- Первая страница: 189
- Последняя страница: 360
- DOI: 10.1007/1-4020-3521-7_3
- Добавил в систему: Золин Евгений Евгеньевич