Patrick Blackburn is director of research at INRIA, France's national organization for research in computer science. Johan Bos is senior researcher at the School of Informatics at the University of Edinburgh.

"An exciting combination of standard Montague techniques, modern approaches to underspecification, and the use of first order theorem provers, all in a book that can be used by advanced undergraduates or graduate students." - Robin Cooper, Gorg University"

Patrick Blackburn is director of research at INRIA, France's national organization for research in computer science. Johan Bos is senior researcher at the School of Informatics at the University of Edinburgh.

"An exciting combination of standard Montague techniques, modern approaches to underspecification, and the use of first order theorem provers, all in a book that can be used by advanced undergraduates or graduate students." - Robin Cooper, Gorg University"

Patrick Blackburn is director of research at INRIA, France's national organization for research in computer science. Johan Bos is senior researcher at the School of Informatics at the University of Edinburgh.

"An exciting combination of standard Montague techniques, modern approaches to underspecification, and the use of first order theorem provers, all in a book that can be used by advanced undergraduates or graduate students." - Robin Cooper, Gorg University"