Almost all Classical Theorems are IntuitionisticPierre LescanneRAIRO-Theor. Inf. Appl., 56 (2022) 9DOI: https://doi.org/10.1051/ita/2022009
