Der Code der Mathematik
DOI10.1007/978-3-662-66562-6MaRDI QIDQ6155987FDOQ6155987
Authors: Stefan Müller-Stach
Publication date: 9 June 2023
Recommendations
- The code of mathematics. Proof and truth. Translated from the German by the author
- An introduction to univalent foundations for mathematicians
- Reflections on the foundations of mathematics. Univalent foundations, set theory and general thoughts. Based on the conference on foundations of mathematics: univalent foundations and set theory, FOMUS, Bielefeld, Germany, July 18--23, 2016
- Homotopy type theory and Voevodsky's univalent foundations
- Homotopy type theory. Univalent foundations of mathematics
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Categories of sets, characterizations (18B05) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematics in general (00-01) Categorical logic, topoi (03G30) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to category theory (18-01) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Foundations, relations to logic and deductive systems (18A15)
Cited In (2)
This page was built for publication: Der Code der Mathematik
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6155987)