The logical operators are not part of Nuprl ; they can be simulated by using DEF's described in chapter 3. We will use these simulated logical operators below in the examples.
