Text this: Решение логических уравнений методом итерации в исчислении предикатов первого порядка; Исследования по теоретической физике и математике