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

Document Versions

Formal Topologies on the Set of First-Order Formulae –Thierry Coquand, Sara Sadocco, Giovanni Sambin, Jan M. Smith — 1998 — Journal of Symbolic Logic