@article{1183744810, author = {Sambin, Giovanni}, title = {Pretopologies and Completeness Proofs}, journal = {J. Symbolic Logic}, volume = {60}, number = {1}, year = {1995}, pages = { 861-878}, language = {en}, url = {http://dml.mathdoc.fr/item/1183744810} }
Sambin, Giovanni. Pretopologies and Completeness Proofs. J. Symbolic Logic, Tome 60 (1995) no. 1, pp. 861-878. http://gdmltest.u-ga.fr/item/1183744810/