Для цитирования:

Найденко В.Г. Логическая характеризация класса сложности задач, разрешимых вероятностными алгоритмами за полиномиальное время. Информатика. 2018;15(4):99-101.

For citation:

Naidenko V.G. Logical characterization of complexity class of problems solvable by probablistic algorithms in polynomial time. Informatics. 2018;15(4):99-101. (In Russ.)