Hacker News new | ask | show | jobs
Forall x: An Introduction to formal logic (forallx.openlogicproject.org)
2 points by debanjan16 1111 days ago