In this column we review the following books. The Book Review Column 1

Abstract

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. Books I want Reviewed If you want a FREE copy of one of these books in exchange for a review, then email me at [email protected] Reviews need to be in LaTeX, LaTeX2e, or Plaintext. Books on Algorithms, Combinatorics, and Related Field

Similar works

Full text

thumbnail-image

CiteSeerX

redirect
Last time updated on 22/10/2014

This paper was published in CiteSeerX.

Having an issue?

Is data on this page outdated, violates copyrights or anything else? Report the problem now and we will take corresponding actions after reviewing your request.