Тываның күрүне университединге (оон мурнунда – Кызылдың башкылар институду) физика-математика факультетинде математиктиг логиканы сургуулдарга башкылап турган. Эң-не идепкейлиг логика башкыларының бирээзи Александр Михайлович Борзенко турган. Амгы үеде ТывКУ-да логика курстарын номчуп турар башкылар – Галина Александровна Троякова, Олеся Павловна Магеря, Хүлербен Көк-оолович Кадыг-оол.