Romano DA. An Introduction to Implicative Semigroups With Apartness. sjm [Internet]. 2024 May 30 [cited 2024 Oct. 15];12(2):155-6. Available from: https://sjm.anubih.ba/index.php/sjm/article/view/185