Leonard A. Snider

• Some Boolean representations of the propositional calculus