Title of article :
Proof validation in real analysis: Inferring and checking warrants
Author/Authors :
Lara Alcock، نويسنده , , Keith Weber، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2005
Pages :
10
From page :
125
To page :
134
Keywords :
counterexamples , Implication , Logic , Proof , Real analysis , Reasoning , validation , Warrants , Limits
Journal title :
Journal of Mathematical Behavior
Serial Year :
2005
Journal title :
Journal of Mathematical Behavior
Record number :
166681
Link To Document :
بازگشت