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.

In celebration of summer, Assouline evokes the beauty of thegarden in a remarkable gift-volume. Including more than threecenturies of drawings culled from the rare books library of theCooper-Hewitt National Design Museum, each page in Botanicalsexplodes with rich colours and lifelike details. Exquisite flowers,delicate fuits, and exuberant butterflies are among the jewels ofnature that come to life in this unique compendium. Featured areworks by leading botanical artists, including Maria Sibylla Merian,a rfevolutionary female entomologist and natural historian of theseventeeth century; E.A. Seguy, whose art nouveau-era work servesas inspiration for many contemporary creative directors anddesigners; and Dr Robert John thornton, a British visionaryrenowned for his inerest in botany. Botanicals is extraordinary, aremarkable objet d'art in the spirit of the season. AUTHOR: LeslieK. Overstreet is the curator of Natural-History Rare Books at theSmithsonian Institution. She has published bibliographical artic

Quantum field theory in curved spacetime has been remarkablyfruitful. It can be used to explain how the large-scale structureof the universe and the anisotropies of the cosmic backgroundradiation that we observe today first arose. Similarly, it providesa deep connection between general relativity, thermodynamics, andquantum field theory. This book develops quantum field theory incurved spacetime in a pedagogical style, suitable for graduatestudents. The authors present detailed, physically motivated,derivations of cosmological and black hole processes in whichcurved spacetime plays a key role. They explain how such processesin the rapidly expanding early universe leave observableconsequences today, and how in the context of evaporating blackholes, these processes uncover deep connections between gravitationand elementary particles. The authors also lucidly describe manyother aspects of free and interacting quantized fields in curvedspacetime.