Preface of special issue on formal topology
Journal article, 2006

Author

Thierry Coquand

University of Gothenburg

Giovanni Sambin

Annals of Pure and Applied Logic

Vol. 137 1-3 1-2

Subject Categories

Algebra and Logic

More information

Created

10/10/2017