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

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Journal of logic and analysis 2019
Hauptverfasser:	Coquand, Thierry, Maietti, Maria, Palmgren, Erik
Format:	Artikel
Sprache:	eng
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!