Pages that link to "Item:Q4918380"
From MaRDI portal
The following pages link to FORMALIZATION, PRIMITIVE CONCEPTS, AND PURITY (Q4918380):
Displaying 6 items.
- Bridging the gap between analytic and synthetic geometry: Hilbert's axiomatic approach (Q514037) (← links)
- Foundations of Mathematics: Reliability and Clarity: The Explanatory Role of Mathematical Induction (Q2820685) (← links)
- The Axiomatic Destiny of the Theorems of Pappus and Desargues (Q5129772) (← links)
- Completing Segre's proof of Wedderburn's little theorem (Q5255539) (← links)
- Virtue theory of mathematical practices: an introduction (Q6187756) (← links)
- Ontological purity for formal proofs (Q6552264) (← links)