Preface of special issue on formal topology
Journal article, 2006

Author

Thierry Coquand

University of Gothenburg

Giovanni Sambin

Published in

Annals of Pure and Applied Logic

Vol. 137 Issue 1-3 p. 1-2

Categorizing

Subject Categories (SSIF 2011)

Algebra and Logic

More information

Created

10/10/2017