AK Peters Ltd.

Geometric puzzle design, 2d ed.

This guide for hobbyists describes the design of handcrafted cubic block puzzles, burr puzzles, and polyhedral dissection variations traditionally made of wood, and explains how they work. Originally published as The puzzling world of polyhedral dissections by Oxford University Press in 1990, the second edition features enhanced black and white illustrations. (Annotation ©2007 Book News Inc. Portland, OR)

Logic in Tehran; proceedings.

These proceedings from the October 2003 workshop and conference include invited and contributed talks on mathematical logic. Topics include real closed fields and IP-sensitivity, categoricity and quantifier elimination for intuitive theories, primes and irreducibles in truncation integer parts of real closed fields, explicit definability in arithmetic, bounded arithmetic to second order arithmetic by way of automorphisms, local-global principles and approximation theorems, Beatty sequences and the arithmetic hierarchy, Specker's theorem and its relation to cluster points and computable quantum functions, additive polynomials and their role in the model theory of valued fields, dense subfields of henselian fields and integer parts, a recursive nonstandard model for open induction with GCD property and cofinal primes, model theory of bounded arithmetic with applications to independence results, Ibn-Sina's anticipation of the formulas of Buridan and Barcan, algebraic D-varieties and the model theory of differential fields, a simple positive Robinson theory, and categories of theories and interpretations. (Annotation ©2007 Book News Inc. Portland, OR)

Mathematics at Berkeley; a history.

Moore (mathematics emeritus, U. of California, Berkeley), that department's former head and a member of its faculty starting in 1961, knows all the details and writes elegantly of how a disparate group of people vetted a struggling department in a struggling university to become one of the premier mathematics institutions in the world. Moore does not flinch, a skill that must have been useful in his tenure, and he is a skilled commentator on turbulence. (Annotation ©2007 Book News Inc. Portland, OR)