9 A Closer Look at Terms

This lecture has three main goals:

  1. To introduce the == predicate.

  2. To take a closer look at term structure.

  3. To introduce operators.



Patrick Blackburn, Johan Bos and Kristina Striegnitz
Version 1.2.5 (20030212)