Formal topologies o the set of first-order formulae (0)

by T COQUAND, S SADOCCO, G SAMBIN, J SMITH
Venue:Journal of Symbolic Logic