Hacker News new | ask | show | jobs
by Der_Einzige 1623 days ago
Intuitionistic logic, in MY HN? Blasphemy!