Mathematical Logic and Algorithms Theory - Tomsk State University of Control Systems and Radioelectronics
Iversity