This document includes a section (3.12) giving an idiosyncratic syntax for predicate logic, but it never bothers formally defining its semantics (rules of infer

This document includes a section (3.12) giving an idiosyncratic syntax for predicate logic, but it never bothers formally defining its semantics (rules of inference). What's the use of a logic if you can't use it to actually prove things?