Mathematical Methods in Linquistics is far more about mathematical methods than about linguistics, although in many places linquistics is used as a source of examples. Instead it covers such mathematical topics as sets (including infinite sets), relations, a good deal of mathematical logic, automata (up to turing machines), the lambda calculus, lattices and more. This would be an excellent book for an advanced undergraduate or graduate student in either mathematics or computer science to use either as a review text, or as a study guide for further investigation.

The phenomenon of substitution failure is a longstanding focus of discussion for philosophers of language. Substitution failure occurs when a change from one co-referential name to another (e.g. from "Superman" to "Clark Kent") affects the truth-value of a sentence. Jennifer Saul has shown that this can occur even in the simplest of sentences. She presents the first full-length treatment of this puzzling feature of language, and explores its implications for the theory of reference and names, and for the methodology of semantics.