Book Автоматический Поиск Натурального Вывода В Классической Логике Предикатов Диссертация Кандидата Философских Наук Специальность 090007 2004