Who was the first major female logician in the history of logic who made more major contributions to the development of logic than to other related fields (like mathematics or computing)? Wikipedia's ...