|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ИНХС РАН |
||
О первопорядковой определимости интуиционистских формул в классе шкал высоты не более трехстатья
- Авторы: Чагров Александр Васильевич, Чагрова Лилия Алексеевна
- Сборник: Конструкции в алгебре и логике
- Год издания: 1990
- Место издания: Тверь
- Первая страница: 117
- Последняя страница: 119
- Аннотация: Показано существование интуиционистских формул, не являющихся первопорядково определимыми в классе интуиционистских шкал высоты не более трех.
- Добавил в систему: Золин Евгений Евгеньевич
Прикрепленные файлы
| № | Имя | Описание | Имя файла | Размер | Добавлен |
|---|---|---|---|---|---|
| 1. | Полный текст | 1990_Chagrov.pdf | 179,6 КБ | 27 мая 2017 [ezolin] | |
| 2. | Полный текст | 1990_Chagrov.djvu | 170,6 КБ | 27 мая 2017 [ezolin] |