Logical Inference in Predicate Calculus with the Definition of Previous Statements Book chapter (May 2021)