Archie Blake Corrections to Canonical Expressions in Boolean Algebra. 112-113 1938 3 J. Symb. Log. 3 db/journals/jsyml/jsyml3.html#Blake38