Славнов Сергей Андреевич

Публикации в базе данных Math-Net.Ru

1. On completeness of dynamic topological logic
   
   Mosc. Math. J., 5:2 (2005),  477–492