Математика и математические науки. Логика
Метакидес Г. Принципы логики и логическое программирование
Метакидес Г. Принципы логики и логическое программирование : / Г. Метакидес ; под ред. В. А. Садовничего, В. А. Захарова ; пер с англ. А. Р. Полнарева,В. А. Захарова, В. В. Спануполо. – М. : Факториал, 1998. - 288 с. - Парал. тит. англ.
Только авторизованные читатели могут просмотреть файл