Gerald B. Standley Ideographic Computation in the Propositional Calculus. 169-171 1954 19 J. Symb. Log. 3 db/journals/jsyml/jsyml19.html#Standley54