HAYKAZYAN, L. ON FUNCTIONAL SYMBOL-FREE LOGIC PROGRAMS. Proceedings of the YSU A: Physical and Mathematical Sciences, v. 46, n. 1 (227), p. 43–48, 6 Mar.2012.