Formal Topologies on the Set of First-Order Formulae (1998)

Cached

Download Links

by Thierry Coquand , Sara Sadocco , Giovanni Sambin , Jan M. Smith
Venue:Journal of Symbolic Logic
Citations:2 - 1 self