It does have a proof on pg 810, but it's still at the back of the book. | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		l- on Sept 25, 2021 \| parent \| context \| favorite \| on: Charting a Course for “Complexity”: Metamodeling, ... It does have a proof on pg 810, but it's still at the back of the book.

l- on Sept 26, 2021 [–]

See https://en.wikipedia.org/wiki/Minimal_axioms_for_Boolean_alg... for claim dispute.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact