Khachatryan, S.A. 2013. “ON TERMINATION OF FUNCTIONAL SYMBOL-FREE LOGIC PROGRAMS”. Proceedings of the YSU A: Physical and Mathematical Sciences 47 (3 (232). Yerevan, Armenia:49-56. https://doi.org/10.46991/PYSU:A/2013.47.3.049.