Topologies and free constructions

DOI10.12775/LLP.2013.015zbMath1344.03052OpenAlexW2171063527MaRDI QIDQ4982516

Anna Bucalo, Giuseppe Rosolini

Publication date: 9 April 2015

Published in: Logic and Logical Philosophy (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.12775/llp.2013.015

zbMATH Keywords

topological spaces

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Categorical semantics of formal languages (18C50) Subsystems of classical logic (including intuitionistic logic) (03B20) Intuitionistic mathematics (03F55)

This page was built for publication: Topologies and free constructions