Russian logic in computer science / Russkaya logika v informatike