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