Haykazyan, L. ON FUNCTIONAL SYMBOL-FREE LOGIC PROGRAMS. Proc. YSU A: Phys. Math. Sci. 2012, 46 (1 (227), 43-48. https://doi.org/10.46991/PYSUA.2012.46.1.043.