|
ИСТИНА |
Войти в систему Регистрация |
Интеллектуальная Система Тематического Исследования НАукометрических данных |
||
An incompleteness result for predicate extensions of intermediate propositional logicsстатья
- Автор: Skvortsov Dmitry
- Сборник: Advances in Modal Logic
- Серия: Advances in Modal Logic
- Том: 4
- Год издания: 2003
- Место издания: King's College Publications London
- Первая страница: 461
- Последняя страница: 474
- Добавил в систему: Золин Евгений Евгеньевич