Ведутся технические работы. Это может временно повлиять на скорость работы сайта. Приносим извинения за неудобства и благодарим за ваше понимание!

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