Хелемендик Р. В. Россия Институт прикладной математики им. М.В. Келдыша РАН, Россия, Москва, Миусская площадь, 4 romash@keldysh.ru Статьи автора О решении шахматных позиций с помощью формул логики ветвящегося времени
