HTTP/1.1 200 OK Connection: close Date: Sun, 12 Oct 2003 21:50:39 GMT Accept-Ranges: bytes Server: Netscape-Enterprise/3.6 Content-Length: 1629 Content-Type: text/html Last-Modified: Thu, 09 Oct 2003 10:32:02 GMT Cache-Last-Checked: Sun, 12 Oct 2003 22:11:32 GMT Client-Date: Sun, 12 Oct 2003 22:11:32 GMT Client-Response-Num: 1 Proxy-Agent: Netscape-Proxy/3.52 Title: DBLP: Xinxin Li
2000 | ||
---|---|---|
1 | 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) |