Title: Luo ji, yu yan he xin xi
Subjects: Language and logic, Formal languages, Semantics, Montague grammar