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

by Thierry Coquand, Sara Sadocco, Giovanni Sambin, Jan M. Smith
Venue:Journal of Symbolic Logic
Add To MetaCart
Results 1 - 1 of 1

Some Points in Formal Topology

by Giovanni Sambin , 2002
"... ..."
Abstract - Cited by 22 (1 self) - Add to MetaCart
Abstract not found