Kolmogorov and Brouwer on constructive implication and the Ex Falso rule
Dirk van Dalen · Russian Mathematical Surveys · 2004
Kolmogorov put his stamp on many subjects in mathematics, he was in every sense an example of the universal mathematician. Among the long list of topics, logic figures prominently. Kolmogorov contributed to a new subject, that at his time did not exist: intuitionistic logic. His first paper on