Исчисление R-I-Г-конструкций для системы логики времени Kt4Lin

А. В. Толстухин

Аннотация


Исчисление R-I-Г-конструкций для системы логики времени Kt4Lin

Полный текст:

PDF

Ссылки

  • На текущий момент ссылки отсутствуют.




(c) 2016 А. В. Толстухин

Лицензия Creative Commons
Это произведение доступно по лицензии Creative Commons «Attribution-NonCommercial» («Атрибуция — Некоммерческое использование») 4.0 Всемирная.