Pretopologies and Completeness Proofs (1995)

by Giovanni Sambin
Venue:Journal of Symbolic Logic