Здравствуйте !
Помогите найти труд Маслова :
Обобщенный обратный метод для исчисления предикатов с равенством
записки научных семинаров ЛОМИ 20 с 80-96
Название перевел из книги на англ языке
http://books.google.com.ua/books?id=9os ... ed&f=falseС уважением
А. Дорин
-- Чт авг 07, 2014 08:08:42 --Уточнение -
Маслов С.Ю. Обобщение обратного метода на исчисление предикатов с равенством// Записки ЛОМИ АН СССР. 1971. - т.20. - С.80-96