Wall, Henry, active 1845-1868, Professor of Logic at Oxford