Books listed below that are marked with a † have been selected for review in a future issue, and a reviewer has been assigned to each. Readers who wish to be considered as potential reviewers should contact the Book Review Editor, outlining their qualifications, at

Authors and publishers who wish their publications to be considered for review in Computational Linguistics should send a copy to the Book Review Editor, Graeme Hirst, Department of Computer Science, University of Toronto, Toronto, Canada M5S 3G4. All books received that are relevant to computational linguistics and natural language processing will be listed, but not all can be reviewed. Technical reports (other than dissertations) and conference and workshop proceedings (other than those distributed by a major publisher) will not be listed or reviewed. Authors should be aware that some publishers will not send books for review even when instructed to do so; authors wishing to enquire as to whether their book has been received for review may contact the book review editor.

Language, Proof and Logic (second edition) Dave Barker-Plummer, Jon Barwise, and John Etchemendy, in collaboration with Albert Liu, Michael Murray, and Emma Pease (Stanford University) Stanford: CSLI Publications, 2011, xiv+606 pp with CD-ROM (for Macintosh, Linux, and Windows) and 56-page software manual; paperbound, ISBN 978-1-57586-632-1, $70.00, £45.00

Interactive Multi-Modal Question-Answering Antal van den Bosch* and Gosse Bouma (editors) (*Tilburg University and University of Groningen) Springer (Theory and Applications of Natural Language Processing series, edited by Eduard Hovy), 2011, xii+279 pp; hardbound, ISBN 978-3-642-17524-4, $124.00; e-book, ISBN 978-3-642-17525-1; paperbound $24.95 or €24.95 to members of subscribing institutions

Harnessed: How Language and Music Mimicked Nature and Transformed Ape to Man Mark Changizi (2AI) Dallas: BenBella Books, 2011, 236 pp; paperbound, ISBN 978-19356-1853-9, $16.95

Quantifiers, Propositions, and Identity: Admissible Semantics for Quantified Modal and Substructural Logics Robert Goldblatt (Victoria University of Wellington) Cambridge University Press (Lecture notes in logic, volume 38), 2011, xiii+268 pp; hardbound, ISBN 978-1-107-01052-9, $75.00

The Tarskian Turn: Deflationism and Axiomatic Truth Leon Horsten (University of Bristol) The MIT Press, 2011, xii+165 pp; hardbound, ISBN 978-0-262-01586-8, $35.00, £24.95

Understanding Sponsored Search: Core Elements of Keyword Advertising Jim Jansen (Pennsylvania State University) Cambridge University Press, 2011, xix+277 pp; hardbound, ISBN 978-1-107-01197-7, $99.00; paperbound, ISBN 978-1-107-62836-6, $37.99

Discourse.cpp O.S. le Si (edited by Aurélie Herbelot) [University of Cambridge] Berlin: Peer Press, 2011, 55 pp; paperbound, ISBN 978-3-00-33516-7, €9.00, or free online at

Linguistic Structure Prediction Noah A. Smith (Carnegie Mellon University) Morgan & Claypool (Synthesis Lectures on Human Language Technologies, edited by Graeme Hirst, volume 12), 2011, xix+248 pp; paperbound, ISBN 978-1-60845-405-1, $40.00; ebook, ISBN 978-1-60845-406-8, $30.00 or by subscription

Optimization for Machine Learning Suvit Sra,* Sebastian Nowozin, and Stephen J.Wright (editors) (*Max Planck Institute for Biological Cybernetics, Microsoft Research, and University of Wisconsin, Madison) The MIT Press (Neural information precessing series), 2012, xii+494 pp; hardbound, ISBN 978-0-262-01646-9, $50.00, £34.95

Bitext Alignment Jörg Tiedemann (Uppsala University) Morgan & Claypool (Synthesis Lectures on Human Language Technologies, edited by Graeme Hirst, volume 14), 2011, xi+153 pp; paperbound, ISBN 978-1-60845-510-2, $40.00; ebook, ISBN 978-1-60845-511-9, $30.00 or by subscription

Referring Expressions in English and Japanese: Patterns of Use in Dialogue Processing Etsuko Yoshida (Mie University) John Benjamins Publishing Company (Pragmatics and beyond, new series, volume 208), 2011, xviii+206 pp; hardbound, ISBN 978-90-272-5612-6, €90.00, $135.00; e-book ISBN 978-90-272-8665-9, €90.00, $135.00