%0 Journal Article %1 journals/apal/DafaJL00 %A Li, Dafa %A Jia, Peifa %A Li, Xinxin %D 2000 %J Ann. Pure Appl. Log. %K dblp %N 1-2 %P 1-26 %T Simplifying von Plato's Axiomatization of Constructive Apartness Geometry. %U http://dblp.uni-trier.de/db/journals/apal/apal102.html#DafaJL00 %V 102

@article{journals/apal/DafaJL00, added-at = {2020-02-21T00:00:00.000+0100}, author = {Li, Dafa and Jia, Peifa and Li, Xinxin}, biburl = {https://www.bibsonomy.org/bibtex/26ba8abee5d7a58843fea02ffa8e556f7/dblp}, ee = {https://doi.org/10.1016/S0168-0072(99)00031-7}, interhash = {fe7d765c255ff24eb04f8c8033827dfe}, intrahash = {6ba8abee5d7a58843fea02ffa8e556f7}, journal = {Ann. Pure Appl. Log.}, keywords = {dblp}, number = {1-2}, pages = {1-26}, timestamp = {2020-02-22T12:47:46.000+0100}, title = {Simplifying von Plato's Axiomatization of Constructive Apartness Geometry.}, url = {http://dblp.uni-trier.de/db/journals/apal/apal102.html#DafaJL00}, volume = 102, year = 2000 }