Open catrincm opened 5 years ago
Mention intuitionistic logic in LEM discussion of "intuition needed".
Mention intuitionistic logic in LEM discussion of "intuition needed".