"In this book, Yusuke Kubota and Robert Levine propose a type-logical version of categorial grammar as a viable alternative model of natural language syntax and semantics. They show that this novel logic-based framework is applicable to a range of phenomena--especially in the domains of coordination and ellipsis--that have proven problematic for traditional approaches."--OCLC-licensed vendor bi…