Hacker News new | ask | show | jobs
by sargstuff 1245 days ago
sounds like enumeration of 1st order logic concepts