Pages that link to "Item:Q5495524"
From MaRDI portal
The following pages link to The Relationship of Derivations in Artificial Languages to Ordinary Rigorous Mathematical Proof (Q5495524):
Displaying 7 items.
- From Euclidean geometry to knots and nets (Q2053353) (← links)
- Reliability of mathematical inference (Q2695405) (← links)
- Using the TPTP Language for Writing Derivations and Finite Interpretations (Q3613401) (← links)
- On Formal Proofs (Q3654812) (← links)
- MATHEMATICAL INFERENCE AND LOGICAL INFERENCE (Q4557165) (← links)
- MATHEMATICAL RIGOR AND PROOF (Q5078816) (← links)
- Rigour and intuition (Q6651277) (← links)