Исчисление R-I-Г-конструкций для системы логики времени Kt4Lin
Аннотация
Исчисление R-I-Г-конструкций для системы логики времени Kt4Lin
Полный текст:
PDFСсылки
- На текущий момент ссылки отсутствуют.
(c) 2016 А. В. Толстухин
Это произведение доступно по лицензии Creative Commons «Attribution-NonCommercial» («Атрибуция — Некоммерческое использование») 4.0 Всемирная.