Hacker News new | ask | show | jobs
by alko4141 2692 days ago
Kripke, Putnam, Minsky