Title: Symbolic logic,