|
ИСТИНА |
Войти в систему Регистрация |
Интеллектуальная Система Тематического Исследования НАукометрических данных |
||
Первопорядковая определимость интуиционистских формул на конечных шкалах крипке: алгоритмический аспекттезисы доклада
- Авторы: Чагров Александр Васильевич, Чагрова Лилия Алексеевна
- Сборник: Третьи Смирновские чтения по логике. Материалы международной научной конференции. 24-27 мая 2001 года
- Серия: Смирновские чтения по логике
- Тезисы
- Год издания: 2001
- Место издания: М
- Первая страница: 71
- Последняя страница: 75
- Добавил в систему: Золин Евгений Евгеньевич