<< Prev
- Up -
Next >>
9.4 Operators
9.4.1 Properties of operators
9.4.2 Defining operators
<< Prev
- Up -
Next >>
Patrick Blackburn
,
Johan Bos
and
Kristina Striegnitz
Version 1.2.5 (20030212)