(1)
Vadim V. Kortunov. CLASSICAL LOGIC: FORMALIZATION OF LOGICAL IMPLICATION. J Arch.Egyptol 2020, 17, 703 - 707.