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