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-7, https://www.archives.palarch.nl/index.php/jae/article/view/777.