The Relationship of Derivations in Artificial Languages to Ordinary Rigorous Mathematical Proof
Azzouni, J.Volume:
21
Language:
english
Journal:
Philosophia Mathematica
DOI:
10.1093/philmat/nkt007
Date:
June, 2013
File:
PDF, 104 KB
english, 2013