Text this: Matematicheska︠i︡a teori︠i︡a logicheskogo vyvoda;