2 search results - page 1 / 1 » Brouwer and Fraenkel on intuitionism |
BSL
2000
15 years 5 months ago
2000
150
click to vote
JUCS
2010
15 years 23 days ago
2010
: Veldman proved that the contrapositive of countable binary choice is a theorem of full-fledged intuitionism, to which end he used a principle of continuous choice and the fan the...