O dokazateľstve v matematike : Metodičeskij analiz - Arakeľan, Grant Babkenovič (AN Armjanskoj SSR, 1979)