Fixed-Point Construction in Logic Protocol Design | Fixed-Point Construction in Logic | Mathematics | NEROS