КАТЕГОРІАЛЬНИЙ АПАРАТ ДОВЕДЕННЯ МАТЕМАТИЧНИХ ТВЕРДЖЕНЬ. sit [Internet]. 2012 Apr. 25 [cited 2024 May 19];(31):274-8. Available from: https://vspu.net/sit/index.php/sit/article/view/4055