BRUNNER, Andreas B.M. First-order anti-intuitionistic logic with apartness. Logic and Logical Philosophy. Online. 21 December 2004. Vol. 13, no. 13, pp. 77-88. [Accessed 25 July 2024]. DOI 10.12775/LLP.2004.005.