Некоторые свойства конструктивных вещественных чисел и конструктивных функций. Труды МИАН СССР, т. 67, с. 385-457, 1962.

Граф-схемы с памятью. Труды МИАН СССР, т. 72, с. 99-192, 1964.

On Some Models of Computability of Boolean Functions. Lecture Notes in Computer Science, vol. 32, pp. 153-159, 1975.

О конструктивной истинности суждений и некоторых нетрадиционных системах конструктивной логики. Труды ВЦ АН АрмССР и ЕГУ, “Математические вопросы кибернетики и вычислительной техники”, “Конструктивная математика”, т. 8, с. 99-153, 1975.

Симметрическая конструктивная логика. Изд-во АН АрмССР, с. 1-281, 1978.

Տրամաբանության դերը փաստարկման պրոցեսում: Հայոց Փիլիսոփայական Ակադեմիա, Փաստարկման միջազգային ինստիտուտ, ՀՀԳԱԱ-ի հրատարակչությունը, Երևան, էջեր 1-28, 1998.

Dual Realizability in Symmetric Logic. Annals of Pure and Applied Logic, vol. 113, pp. 389-397, 2002.

Формальные аксиоматические теории на основе трехзначной логики. Записки научных семинаров ПОМИ, Теория сложности вычислений VIII, т. 304, с. 19-74, 2003.

On Some Generalizations of the Primitive Recursive Arithmetic. Theoretical Computer Science, Paris, vol. 322, pp. 221-230, 2004.

Formal Axiomatic Theories Based on a Three-valued Logic. Journal of Mathematical Sciences, vol. 130, №2, pp. 4578-4597, 2005.

Some Criteria of Completeness for Axiomatic Systems in Three-valued Logic. Transactions of IIAP of NAS of RA, “Mathematical Problems of Computer Science”, vol. 27, pp. 174-202, 2006.

Some Criteria of Decidability for Axiomatic Systems in Three-valued Logic. Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science), vol. 4363, pp. 247-259, 2007.

Нечеткая конструктивная логика. Записки научных семинаров ПОМИ, “Исследования по конструктивной математике и математической логике XI”, Санкт-Петербург, т. 358, с. 130-152, 2008.

On Some Mathematical and Philosophical Problems Connected with the Constructive Representation of Time and Space. News and Views, The Journal of the International Academy for Philosophy (New Series), Yerevan, vol. 2, №2 (26), pp. 52-68, Fall 2010.

Расширенная нечеткая конструктивная логика. Записки научных семинаров ПОМИ, “Исследования по конструктивной математике и математической логике XII”, Санкт-Петербург, т. 407, с. 35-76, 2012.