Pretopologies and completeness proofs (1995)

by Giovanni Sambin
Venue:The Journal of Symbolic Logic