Введение в теорию формального вывода программ / Ф. И. Валидов ; Институт экономики, управления и права. - Казань : Издательство ИЭУП "Таглимат" Института экономики, управления и права, 1999.. - 98 с.. - Библиогр.: с. 151. - ISBN 5-8399-001-X ------------ Дод. точки доступу: Институт экономики, управления и права (Казань)