Johnson, William Ernest, active 1893-1936, logician