LOGIC AND MATHEMATICAL REASONING FROM A DIDACTICAL POINT OF VIEW A MODEL-THEORETIC APPROACH