PROVING PROPERTIES OF DISCRETE-VALUED FUNCTIONS USING DEDUCTIVE PROOF: APPLICATION TO THE SQUARE ROOT

Abstract
No abstract available