@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/