The Journal of Mathematical Behavior · 2015 · 54 citations · 28 references
EducationMathematicsMathematics EducationFormal MethodsLogicMathematics InstructionDeductive ReasoningDeductive VerificationMathematical ReasoningPredicate LogicProof TheoryTheorem ProvingProof CheckingProof GenerationProof InstructionProof SchemesStudent Proof Writing
28
Making the transition to formal proof
Robert C. Moore · Educational Studies in Mathematics · 1994 · 462 citations