Аналитические таблицы для поиска гипотез

В. И. Шалак

Аннотация


Аналитические таблицы для поиска гипотез


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

PDF

Литература


Fitting M.C. First-Order Logic and Automated Theorem Proving. Springer-Verlag, Berlin, 1990. 242 p.

Fitting M. Intuitionistic Logic, Model Theory and Forcing. North-Holland Publishing Company, Amsterdam, 1969. 192 p.


Ссылки

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


Bookmark and Share


(c) 2018 В. И. Шалак

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