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