ИСТИНА |
Войти в систему Регистрация |
|
ИСТИНА ИНХС РАН |
||
№ | Имя | Описание | Имя файла | Размер | Добавлен |
---|---|---|---|---|---|
1. | Полный текст | Natural_deduction_for_Kleenes_three-_and_four-valued_logics… | 88,6 КБ | 23 июля 2018 [petrukhin] |