Previous research has shown that a specific interactive app, designed to support the development of early mathematical skills and delivered on hand-held tablets, is effective at raising mathematical ...

Intuitionistic logic, i.e. logic without the principle of excluded middle (P ∨ ¬ P P \vee \neg P), is important for many reasons. One is that it arises naturally as the internal logic of toposes and ...