Haykazyan, L. ON FUNCTIONAL SYMBOL-FREE LOGIC PROGRAMS. Proc. YSU A: Phys. Math. Sci. 2012, 46, 43-48.