Puzzles in Logic, Languages and Computation The Green Book

From the reviews:

“This collection of problems is intended to appeal to several audiences: students at all levels who are interested in languages, teachers who present courses in linguistics or computer science, and anyone with a general interest in language. … No computer science or linguistics experience is necessary for enjoying this book or for solving the problems. … Anyone who enjoys puzzles or language will probably find this book appealing.” (Andrew R. Huber, Computing Reviews, January, 2014)

Dragomir Radev is the program chair of the North American Computational Linguistics Olympiad (NACLO). He has been the head coach of the US teams at the International Linguistics Olympiad (IOL) since 2007. He holds a PhD from Columbia University and is currently a Professor of Computer Science and Engineering, Information, and Linguistics at the University of Michigan and an Adjunct Professor of Computer Science at Columbia University. He also serves as the secretary of the Association for Computational Linguistics (ACL) and is an Association for Computing Machinery (ACM) Distinguished Scientist.