To the logical foundations of random number generator construction. - Enikeev, Ruslan (Journal of Logic & Computation, 2025)