106
click to vote
CORR
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Several proof translations of classical mathematics into intuitionistic mathematics have been proposed in the literature over the past century. These are normally referre...