Hacker News new | ask | show | jobs
Symbolic Logic with Truth Tables (medium.com)
2 points by jonbrennecke 3287 days ago