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