De som köpt den här boken har ofta också köpt The Anxious Generation av Jonathan Haidt (inbunden).
Köp båda 2 för 1369 kr'The formalism introduced by the author allows better understanding of the role of semantics in grammars of natural languages and supplies mechnisms for various levels of linguistic description.' T.Balanescu, Zenrrallblatt fur Mathematik und ihre Grenzgebiete No. 855, 1997
1. Preliminary remarks; 2. Gradual introduction to type theory; 3. Logical operators in English; 4. Anaphoric expressions; 5. Temporal reference; 6. Text and discourse; 7. Context and possible worlds; 8. Higher-level type theory; 9. Sugaring and parsing; Appendix; Sugaring in ALF; Bibliography; Index