|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ИНХС РАН |
||
О логиках, имеющих доказуемостную интерпретациюстатья
- Автор: Артемов С.Н.
- Сборник: Сложность вычислений и прикладная математическая логика
- Редактор: Адян Сергей Иванович
- Серия: Вопросы кибернетики
- Том: 134
- Год издания: 1988
- Место издания: Научный совет АН СССР по комплексной проблеме «Кибернетика» Москва
- Первая страница: 5
- Последняя страница: 22
- Добавил в систему: Золин Евгений Евгеньевич