The Relationship of Derivations in Artificial Languages to Ordinary Rigorous Mathematical Proof
From MaRDI portal
Publication:5495524
DOI10.1093/philmat/nkt007zbMath1293.03006OpenAlexW2317147403MaRDI QIDQ5495524
Publication date: 5 August 2014
Published in: Philosophia Mathematica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1093/philmat/nkt007
Philosophy of mathematics (00A30) Philosophical and critical aspects of logic and foundations (03A05)
Related Items (4)
MATHEMATICAL INFERENCE AND LOGICAL INFERENCE ⋮ MATHEMATICAL RIGOR AND PROOF ⋮ Reliability of mathematical inference ⋮ From Euclidean geometry to knots and nets
This page was built for publication: The Relationship of Derivations in Artificial Languages to Ordinary Rigorous Mathematical Proof