КАТЕГОРІАЛЬНИЙ АПАРАТ ДОВЕДЕННЯ МАТЕМАТИЧНИХ ТВЕРДЖЕНЬ. sit 2012, No. 31, 274-278.