scientific article
From MaRDI portal
Publication:3081637
zbMath1244.03137MaRDI QIDQ3081637
Publication date: 9 March 2011
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (9)
Why Predicative Sets? ⋮ Analysis in a formal predicative set theory ⋮ POINCARÉ–WEYL’S PREDICATIVITY: GOING BEYOND ⋮ Applicable Mathematics in a Minimal Computational Theory of Sets ⋮ Unnamed Item ⋮ A Logical Framework for Developing and Mechanizing Set Theories ⋮ WEYL REEXAMINED: “DAS KONTINUUM” 100 YEARS LATER ⋮ Formalizing Scientifically Applicable Mathematics in a Definitional Framework ⋮ Introduction: Non-classical Logics—Between Semantics and Proof Theory (In Relation to Arnon Avron’s Work)
Uses Software
This page was built for publication:
