Fixed-Point Construction in Logic Review and Validation Protocol | Fixed-Point Construction in Logic | Mathematics | NEROS