Proof in advanced mathematics classes: semantic and syntactic reasoning in the representation system of proof
Keith Weber
Lara Alcock
2134/8859
https://repository.lboro.ac.uk/articles/chapter/Proof_in_advanced_mathematics_classes_semantic_and_syntactic_reasoning_in_the_representation_system_of_proof/9367055
Proof in advanced mathematics classes: semantic and syntactic reasoning in the representation system of proof
2011-09-26 11:37:06
untagged