scientific article
From MaRDI portal
Publication:2967790
zbMath1356.03002MaRDI QIDQ2967790
Publication date: 2 March 2017
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Foundations, relations to logic and deductive systems (18A15)
Related Items (3)
A replication crisis in mathematics? ⋮ An introduction to univalent foundations for mathematicians ⋮ Predicativity and Feferman
This page was built for publication:
