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.

From one of the most significant neuroscientists at worktoday, a pathbreaking investigation of a question that hasconfounded philosophers, psychologists, and neuroscientists forcenturies: how is consciousness created? Antonio Damasio has spent the past thirty years studying andwriting about how the brain operates, and his work has garneredacclaim for its singular melding of the scientific and thehumanistic. In Self Comes to Mind, he goes against thelong-standing idea that consciousness is somehow separate from thebody, presenting compelling new scientific evidence thatconsciousness—what we think of as a mind with a self—is to beginwith a biological process created by a living organism. Besides thethree traditional perspectives used to study the mind (theintrospective, the behavioral, and the neurological), Damasiointroduces an evolutionary perspective that entails a radicalchange in the way the history of conscious minds is viewed andtold. He also advances a radical hypothesis regarding the o

This rigourous and self-contained book describes mathematicaland, in particular, stochastic methods to assess the performance ofnetworked systems. It consists of three parts. The first part is areview on probability theory. Part two covers the classical theoryof stochastic processes (Poisson, renewal, Markov and queuingtheory), which are considered to be the basic building blocks forperformance evaluation studies. Part three focuses on therelatively new field of the physics of networks. This part dealswith the recently obtained insights that many very different largecomplex networks - such as the Internet, World Wide Web, proteins,utility infrastructures, social networks - evolve and behaveaccording to more general common scaling laws. This understandingis useful when assessing the end-to-end quality of communicationsservices, for example, in Internet telephony, real-time video andinteracting games. Containing problems and solutions, this book isideal for graduate students taking courses in performanceanalys

First published by Houghton Mifflin in 1962, Silent Springalerted a large audience to the environmental and human dangers ofindiscriminate use of pesticides, spurring revolutionary changes inthe laws affecting our air, land, and water. "Silent Spring becamea runaway bestseller, with international reverberations . . . Itis] well crafted, fearless and succinct . . . Even if she had notinspired a generation of activists, Carson would prevail as one ofthe greatest nature writers in American letters" (PeterMatthiessen, for Time's 100 Most Influential People of theCentury). This fortieth anniversary edition celebrates RachelCarson's watershed book with a new introduction by the author andactivist Terry Tempest Williams and a new afterword by theacclaimed Rachel Carson biographer Linda Lear, who tells the storyof Carson's courageous defense of her truths in the face ofruthless assault from the chemical industry in the year followingthe publication of Silent Spring and before her untimely death in1964.

Rental housing subsidy programmes have been an important partof the American welfare system since the 1930s. The Benefits ofSubsidized Housing Programs: An Intertemporal Approach is anempirical study of the distributive effects of the entire system ofrental housing subsidies for lower-income households based on anational sample. Using the 1977 Annual Housing Survey, ProfessorHammond has evaluated the benefits of all federal, state and localgovernment rental housing subsidy programmes taken as a wholeacross the nation. Additionally, she has estimated the changes inconsumption patterns resulting from these programmes and therelationship between household benefit and household income;household size; age, education, sex, and race of the head of thehousehold; and the geographic location of the household.

The sustainable exploitation of the marine environment dependsupon our capacity to develop systems of management with predictableoutcomes. Unfortunately, marine ecosystems are highly dynamic andthis property could conflict with the objective of sustainableexploitation. This book investigates the theory that the populationand behavioural dynamics of predators at the upper end of marinefood chains can be used to assist with management. Since thesespecies integrate the dynamics of marine ecosystems across a widerange of spatial and temporal scales, they offer new sources ofinformation that can be formally used in setting managementobjectives. This book examines the current advances in theunderstanding of the ecology of marine predators and willinvestigate how information from these species could be used inmanagement.