Hacker News new | ask | show | jobs
by potiuper 1771 days ago
It does have a proof on pg 810, but it's still at the back of the book.
1 comments
potiuper 1770 days ago
See https://en.wikipedia.org/wiki/Minimal_axioms_for_Boolean_alg... for claim dispute.
link