А.В. Родин «Теоретико-модельная и теоретико-доказательная семантика логического вывода….»