Metadata
Author: WikiMatrix
Data
English[en]
Intuitionistic logic is a commonly-used tool in developing approaches to constructivism in mathematics.
Spanish[es]
La lógica intuicionista es una de las maneras de abordad el Constructivismo en matemáticas.