The book review column

In this column we review the books listed below. In addition there is a comment by Oded Goldreich on the review of his book Foundations of Cryptography.

[1]  Davide Sangiorgi,et al.  Communicating and Mobile Systems: the π-calculus, , 2000 .

[2]  Scott A. Smolka,et al.  A complete axiom system for finite-state probabilistic processes , 2000, Proof, Language, and Interaction.

[3]  Benjamin C. Pierce,et al.  Pict: a programming language based on the Pi-Calculus , 2000, Proof, Language, and Interaction.

[4]  Robert Harper,et al.  A type-theoretic interpretation of standard ML , 2000, Proof, Language, and Interaction.

[5]  David Walker,et al.  Concurrent objects as mobile processes , 2000, Proof, Language, and Interaction.

[6]  Cliff B. Jones,et al.  Enhancing the tractability of rely/guarantee specifications in the development of interfering operations , 2000, Proof, Language, and Interaction.

[7]  Jan A. Bergstra,et al.  Discrete time process algebra with silent step , 2000, Proof, Language, and Interaction.

[8]  Faron Moller,et al.  On the star height of unary regular behaviours , 2000, Proof, Language, and Interaction.

[9]  Robert L. Constable,et al.  Constructively formalizing automata theory , 2000, Proof, Language, and Interaction.

[10]  Lars Birkedal,et al.  Unification and polymorphism in region inference , 2000, Proof, Language, and Interaction.

[11]  Somesh Jha,et al.  Model checking algorithms for the µ-calculus , 2000, Proof, Language, and Interaction.

[12]  C. Hirsch.  Curriculum and Evaluation Standards for School Mathematics , 1988 .

[13]  Leslie G. Valiant,et al.  Random Generation of Combinatorial Structures from a Uniform Distribution , 1986, Theor. Comput. Sci..

[14]  Robin Milner,et al.  Fully Abstract Models of Typed lambda-Calculi , 1977, Theor. Comput. Sci..

[15]  Mads Tofte,et al.  A Calculus of Communicating Systems with Label Passing—Ten Years After , 2000 .

[16]  Mads Tofte,et al.  Combining the Typed λ-Calculus with CCS , 2000 .

[17]  Michael Molloy,et al.  The Probabilistic Method , 1998 .

[18]  Allyn Jackson,et al.  The Math Wars: California Battles It Out over Mathematics Education Reform , 1997 .

[19]  Solomon A. Garfunkel,et al.  For All Practical Purposes: Introduction to Contemporary Mathematics , 1991 .

[20]  Michael R. Fellows,et al.  Computer science and mathematics in the elementary schools , 1990 .

[21]  Leslie G. Valiant,et al.  The Complexity of Computing the Permanent , 1979, Theor. Comput. Sci..