Нефинитные методы в исследовании форм логического исчисления на основе оценки

А. В. Титов

Аннотация


Нефинитные методы в исследовании форм логического исчисления на основе оценки


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

PDF

Ссылки

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


Bookmark and Share


(c) 2018 А. В. Титов

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