Publication:5761848
From MaRDI portal
zbMath0014.00101MaRDI QIDQ5761848
Publication date: 1935
Related Items
Heyting’s contribution to the change in research into the foundations of mathematics, What did Frege take Russell to have proved?, Against naturalized cognitive propositions, Category Theory and Philosophy, Explaining Maximality Through the Hyperuniverse Programme, Reverse mathematics of topology: dimension, paracompactness, and splittings, Cycling in proofs and feasibility, Unnamed Item, The Search for New Axioms in the Hyperuniverse Programme, The Search for New Axioms in the Hyperuniverse Programme, Hilbert, logicism, and mathematical existence