Pages that link to "Item:Q5195269"
From MaRDI portal
The following pages link to Formalizing Scientifically Applicable Mathematics in a Definitional Framework (Q5195269):
Displayed 7 items.
- Analysis in a formal predicative set theory (Q2148788) (← links)
- WEYL REEXAMINED: “DAS KONTINUUM” 100 YEARS LATER (Q3386608) (← links)
- Applicable Mathematics in a Minimal Computational Theory of Sets (Q4553281) (← links)
- Introduction: Non-classical Logics—Between Semantics and Proof Theory (In Relation to Arnon Avron’s Work) (Q5020161) (← links)
- Why Predicative Sets? (Q5049037) (← links)
- (Q5079729) (← links)
- POINCARÉ–WEYL’S PREDICATIVITY: GOING BEYOND (Q6204145) (← links)