Truth versus validity in mathematical proof

By Viviane Durand-Guerrier. 2008

55 citations recorded by the source corpus.

Subfields: Education, Theoretical Computer Science, Philosophy

View Paper: https://www.semanticscholar.org/paper/4910b71a645e12d6901f69732ea3fae5a372c378