Pages that link to "Item:Q2695405"
From MaRDI portal
The following pages link to Reliability of mathematical inference (Q2695405):
Displaying 6 items.
- On Formal Proofs (Q3654812) (← links)
- Reliability: an introduction (Q6067107) (← links)
- Ontological purity for formal proofs (Q6552264) (← links)
- Proofs for a price: tomorrow's ultra-rigorous mathematical culture (Q6554711) (← links)
- What we talk about when we talk about mathematics (Q6623925) (← links)
- Reconciling \textit{Rigor and intuition} (Q6651278) (← links)
