Pošljite SMS: Решение логических уравнений в исчислении одноместных предикатов первого порядка; Исследования по теоретической физике и математике