Aleksanyan, S. R. . . (2021) “On Some Proporties of Frege Proofs”, Mathematical Problems of Computer Science, 29, pp. 117–122. Available at: http://93.187.165.2/index.php/mpcs/article/view/455 (Accessed: 16November2024).