From discourse to logic : Introduction to modeltheoretic semantics of natural language, formal logic and discourse representation theory. By Hans Kamp and Uwe Reyle. Dordrecht: Kluwer, 1993. 2 vols. Pp. 713 (consecutive pagination).

Preface. 0: Preliminaries. 0.1. Theories of Meaning. 0.2. Logic. 0.3. Logic and Semantics. 0.4. Syntax. 1: DRT and Predicate Logic. 1.1. Simple Sentences. 1.2. Models. 1.3. Negation. 1.4. Verification, Truth and Accessibility. 1.5. From DRT to Predicate Logic. 2: Quantification and Connectives. 2.1. Conditionals. 2.2. Universal Quantification. 2.3. Disjunction. 2.4. Conjunction. 3: Loose Ends. 3.1. Reflexives. 3.2. Possessive Noun Phrases. 3.3. Proper Names. 3.4. Definite Descriptions. 3.5. Stipulated Identity and Asserted Identity. 3.6. Identity and Predication. 3.7. Scope Amibiguity. 4: The Plural. 4.1. Introduction. 4.2. DRS-Construction for Plurals I. 4.3. Model Theory. 4.4. DRS-Construction for Plurals II. 5: Tense and Aspect. 5.1. The Semantics and Logic of Temporal Reference. 5.2. DRS-Construction for Tensed Sentences. 5.3. Aspect. 5.4. Temporal Perspective. 5.5. Temporal Adverbials. 5.6. Model Theory. 5.7. Syntactic Rules. Bibliography. Table of Construction Rules. Index of Symbols, Features and Feature Values. Index of Names. Index of Subjects.