Саядян С. М.

Публикации в базе данных Math-Net.Ru

1. Comparison of several proof systems of intuitionistic propositional logic
   
   Уч. записки ЕГУ, сер. Физика и Математика, 2005, № 2,  25–30