Sciweavers

JSYML
2000

Formal Topologies on The Set of First-Order Formulae

13 years 11 months ago
Formal Topologies on The Set of First-Order Formulae
Thierry Coquand, Sara Sadocco, Giovanni Sambin, Ja
Added 19 Dec 2010
Updated 19 Dec 2010
Type Journal
Year 2000
Where JSYML
Authors Thierry Coquand, Sara Sadocco, Giovanni Sambin, Jan M. Smith
Comments (0)