Independence of each axiom in a set of axioms and complete sets of axioms of Boolean algebra | IEEE Conference Publication | IEEE Xplore