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

View PDF

Download Links

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