Alexey I. Stukachev
e-mail: aistu@math.nsc.ruSenior Researcher
Laboratory of Logical Systems
Department of Mathematical Logic
Sobolev Institute of Mathematics
Siberian Branch of the Russian Academy of Sciences
Novosibirsk
Associate Professor
Chair of Discrete Mathematics and Informatics
Department of Mechanics and Mathematics
Novosibirsk State University