Title: Symbolic logic and mechanical theorem proving