“КАТЕГОРІАЛЬНИЙ АПАРАТ ДОВЕДЕННЯ МАТЕМАТИЧНИХ ТВЕРДЖЕНЬ”, sit, no. 31, pp. 274–278, Apr. 2012, Accessed: May 19, 2024. [Online]. Available: https://vspu.net/sit/index.php/sit/article/view/4055