From Sets to Types, to Categories, to Sets

DOI10.1007/978-94-007-0431-2_5zbMath1317.03016OpenAlexW1577243339MaRDI QIDQ5260986

Steven Awodey

Publication date: 1 July 2015

Published in: The Western Ontario Series in Philosophy of Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-94-007-0431-2_5

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Foundations, relations to logic and deductive systems (18A15)

Related Items (1)

Observability in the univalent universe

This page was built for publication: From Sets to Types, to Categories, to Sets