These sections concern what is now known as predicate logic, and predicate logic with identity (equality).
These sections concern what is now known as predicate logic and predicate logic with identity (equality)