Li Dafa, Peifa Jia, Xinxin Li. Simplifying von Plato s Axiomatization of Constructive Apartness Geometry. Annals of Pure and Applied Logic, 102(1-2):1-26, 2000.
@article{DafaJL00, title = {Simplifying von Plato s Axiomatization of Constructive Apartness Geometry}, author = {Li Dafa and Peifa Jia and Xinxin Li}, year = {2000}, researchr = {https://researchr.org/publication/DafaJL00}, cites = {0}, citedby = {0}, journal = {Annals of Pure and Applied Logic}, volume = {102}, number = {1-2}, pages = {1-26}, }