Preface to the special issue for The Fifth Workshop on Formal Topology. (2019)

Record Type:: Journal Article
Title:: Preface to the special issue for The Fifth Workshop on Formal Topology. (2019)
Main Title:: Preface to the special issue for The Fifth Workshop on Formal Topology
Authors:: Coquand, Thierry
Maietti, Maria Emilia
Palmgren, Erik
Is Part Of:: Journal of logic and analysis. Volume 11(2019)
Journal:: Journal of logic and analysis
Issue:: Volume 11(2019)
Issue Display:: Volume 11, Issue 2019 (2019)
Year:: 2019
Volume:: 11
Issue:: 2019
Issue Sort Value:: 2019-0011-2019-0000
Page Start:
Page End:
Publication Date:: 2019
Subjects:: Logic, Symbolic and mathematical -- Periodicals
Mathematical analysis -- Periodicals
511.3
Journal URLs:: http://logicandanalysis.org/index.php/jla/index ↗
DOI:: ↗
Languages:: English
ISSNs:: 1759-9008
Deposit Type:: Legaldeposit
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗
Physical Locations:: British Library STI - ELD Digital store
Ingest File:: 12583.xml