Brunner, Andreas B.M. 2004. “First-Order Anti-Intuitionistic Logic With Apartness”. Logic and Logical Philosophy 13 (13):77-88. https://doi.org/10.12775/LLP.2004.005.