Controversial in nature, this book demonstrates that the UnitedStates did not need to use the atomic bomb against Japan.Alperovitz criticizes one of the most hotly debated precursoryevents to the Cold War, an event that was largely responsible forthe evolution of post-World War II American politics andculture.
This textbook is aimed at newcomers to nonlinear dynamics andchaos, especially students taking a first course in the subject.The presentation stresses analytical methods, concrete examples andgeometric intuition. The theory is developed systematically,starting with first-order differential equations and theirbifurcations, followed by phase plane analysis, limit cycles andtheir bifurcations, and culminating with the Lorenz equations,chaos, iterated maps, period doubling, renormalization, fractals,and strange attractors. A unique feature of the book is itsemphasis on applications. These include mechanical vibrations,lasers, biological rhythms, superconducting circuits, insectoutbreaks, chemical oscillators, genetic control systems, chaoticwaterwheels, and even a technique for using chaos to send secretmessages. In each case, the scientific background is explained atan elementary level and closely integrated with the mathematicaltheory. Richly illustrated, and with many exercises and workedexamples, this
Structural proof theory is a branch of logic that studies thegeneral structure and properties of logical and mathematicalproofs. This book is both a concise introduction to the centralresults and methods of structural proof theory, and a work ofresearch that will be of interest to specialists. The book isdesigned to be used by students of philosophy, mathematics andcomputer science. The book contains a wealth of results onproof-theoretical systems, including extensions of such systemsfrom logic to mathematics, and on the connection between the twomain forms of structural proof theory - natural deduction andsequent calculus. The authors emphasize the computational contentof logical results. A special feature of the volume is acomputerized system for developing proofs interactively,downloadable from the web and regularly updated.
