|
ИСТИНА |
Войти в систему Регистрация |
Интеллектуальная Система Тематического Исследования НАукометрических данных |
||
О расширении логики доказуемоститезисы доклада
- Автор: Артемов С.Н.
- Сборник: Седьмая Всесоюзная конференция по математической логике. Тезисы докладов
- Серия: Всесоюзная конференция по математической логике
- Тезисы
- Год издания: 1984
- Место издания: Новосибирск: Институт математики Сибирского отделения АН СССР
- Добавил в систему: Золин Евгений Евгеньевич