Две иерархии локально-табличных суперинтуиционистских логик
Сохранено в:
Вид документа: | |
---|---|
Автор: | Мардаев, С. И. |
Опубликовано: | Новосибирск , 1987 |
Физические характеристики: |
30 с.
|
Язык: | Русский |
Серия: |
Препр.
№ 10 |
Предмет: |
ОФХ отдела книгохранения
Всего : 1 , доступно: 1 | Доступно Заказать | ||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|
|