Алгоритмическая неразрешимость проблемы выразимости в модальных логиках. Раца, М. Математические вопросы кибернетики, 2:71–99, 1989.
bibtex   
@article{ru:ratsa1989mat-voprosy-kibernetiki,
  title={Алгоритмическая неразрешимость проблемы выразимости в модальных логиках},
  author={Раца, М.~Ф.},
  journal={Математические вопросы кибернетики},
  volume={2},
  pages={71--99},
  year={1989}
}

Downloads: 0