Bibliographic record and links to related information available from the Library of Congress catalog
Information from electronic data provided by the publisher. May be incomplete or contain other coding.
1. Introduction 2. Predicates and arguments 3. Negation and co-ordination 4. Type theory 5. Lambda abstraction 6. Quantification 7. Inference 8. Time, tense, and aspect 9. Possible worlds 10. Intensional semantics.