Preface to the special issue for The Fifth Workshop on Formal Topology | Coquand | Journal of Logic and Analysis

Preface to the special issue for The Fifth Workshop on Formal Topology

Thierry Coquand, Maria Emilia Maietti, Erik Palmgren

Full Text:

FT0. [PDF]

DOI: https://doi.org/10.4115/jla.2019.11.FT0

Creative Commons License

This work is licensed under a Creative Commons Attribution 3.0 License.

Journal of Logic and Analysis ISSN: 1759-9008