Formalization in a Logical System Protocol Design | Formalization in a Logical System | Mathematics | NEROS