@book{61358, author = {Заславский, Игорь Дмитриевич and АН АрмССР.}, title = {Симметрическая конструктивная логика /}, publisher = {Издво АН АрмССР,}, year = {1978.}, address = {Ереван :} }