Два подхода к обобщению формальных систем: формализованный язык и аксиоматика

Е. Г. Шкорубская

Аннотация


Два подхода к обобщению формальных систем: формализованный язык и аксиоматика


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

PDF

Ссылки

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


Bookmark and Share


(c) 2016 Е. Г. Шкорубская

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