Vadim V. Kortunov. “CLASSICAL LOGIC: FORMALIZATION OF LOGICAL IMPLICATION”. 2020. PalArch’s Journal of Archaeology of Egypt / Egyptology, vol. 17, no. 6, Nov. 2020, pp. 703 -07, http://mail.palarch.nl/index.php/jae/article/view/777.