The book review column

by William Gasarch Department of Computer Science University of Maryland at College Park College Park, MD, 20742 email: gasarch@cs.umd.edu In this column we review the following books. 1. Number Theory for Computing by Song Y. Yan. Review by Prodromos Saridis. This is a book on Number Theory which looks at computational issues and crytography. 2. Type-Logical Semantics by B. Carpenter. Review by Riccardo Pucella and Stephen Chong. This is a book about applying logic and type theory to semantics in linguistics. 3. The π-calculus: A Theory of Mobile Processes by D. Sangiorgi and D. Walker. Review by Riccardo Pucella. This is a book about a way to formalize reasoning about mobile systems.