Title: Primenenii͡a︡ metodov teorii dokazatelʹstv v teorii kategoriĭ
Subjects: Categories (Mathematics), Symbolic and mathematical Logic, Algebra