Methods of Randomization in Experimental Design

The problem of evaluating integrals is well known to every student who has had a year of calculus. It was an especially important subject in 19th century analysis and it has now been revived with the appearance of symbolic languages. In this book, the authors use the problem of exact evaluation of definite integrals as a starting point for exploring many areas of mathematics. The questions discussed in this book, first published in 2004, are as old as calculus itself. In presenting the combination of methods required for the evaluation of most integrals, the authors take the most interesting, rather than the shortest, path to the results. Along the way, they illuminate connections with many subjects, including analysis, number theory, algebra and combinatorics. This will be a guided tour of exciting discovery for undergraduates and their teachers in mathematics, computer science, physics, and engineering.

Ecophysiology attempts to clarify the role and importance of physiological processes, such as digestion and respiration, in the ecological relations of species in their natural habitats. The basic principles and methods that are central to any ecophysiological study are outlined and discussed, including animal capture, blood collection, and the measurement of plasma components and hormone levels. Attention is paid to animal welfare and ethical considerations, and the question of stress and how to identify its presence in animals in their natural environment is approached through a series of case studies. Examples are given from a wide range of vertebrates living in deserts, cold climates and oceans, and recent findings on the physiological adaptations of Antarctic birds and mammals are a highlight of the book. This textbook will provide an introduction to the study of ecophysiology for advanced undergraduates and postgraduate students, as well as researchers in ecology, biodiversity an

Ecophysiology attempts to clarify the role and importance of physiological processes, such as digestion and respiration, in the ecological relations of species in their natural habitats. The basic principles and methods that are central to any ecophysiological study are outlined and discussed, including animal capture, blood collection, and the measurement of plasma components and hormone levels. Attention is paid to animal welfare and ethical considerations, and the question of stress and how to identify its presence in animals in their natural environment is approached through a series of case studies. Examples are given from a wide range of vertebrates living in deserts, cold climates and oceans, and recent findings on the physiological adaptations of Antarctic birds and mammals are a highlight of the book. This textbook will provide an introduction to the study of ecophysiology for advanced undergraduates and postgraduate students, as well as researchers in ecology, biodiversity an

This is the first volume in the series Theatre in Europe: a documentary history. The authors have compiled a documentary account of the theatre in Britain during the Restoration and Georgian period, which covers some 120 years of theatrical activity. It was an exciting period that saw the first arrival of the scenic stage in the public theatres of London, bringing with it a whole new approach to staging and performance. The development outlined in the volume shows the progression of the theatre from a tightly controlled, court-based institution in the Restoration to an ebullient, bustling, commercial undertaking with wide popular appeal in the late Georgian period. The collection of primary source material (both verbal and visual) documents changes in government control and censorship, company management, actors and acting styles, stage presentation, playhouse design and audience response.

This lively and engaging book explains the things you have to know in order to read empirical papers in the social and health sciences, as well as the techniques you need to build statistical models of your own. The discussion in the book is organized around published studies, as are many of the exercises. Relevant journal articles are reprinted at the back of the book. Freedman makes a thorough appraisal of the statistical methods in these papers and in a variety of other examples. He illustrates the principles of modelling, and the pitfalls. The discussion shows you how to think about the critical issues - including the connection (or lack of it) between the statistical models and the real phenomena. The book is written for advanced undergraduates and beginning graduate students in statistics, as well as students and professionals in the social and health sciences.

This lively and engaging book explains the things you have to know in order to read empirical papers in the social and health sciences, as well as the techniques you need to build statistical models of your own. The discussion in the book is organized around published studies, as are many of the exercises. Relevant journal articles are reprinted at the back of the book. Freedman makes a thorough appraisal of the statistical methods in these papers and in a variety of other examples. He illustrates the principles of modelling, and the pitfalls. The discussion shows you how to think about the critical issues - including the connection (or lack of it) between the statistical models and the real phenomena. The book is written for advanced undergraduates and beginning graduate students in statistics, as well as students and professionals in the social and health sciences.

Sir Lepel Henry Griffin (1838–1908) was a British administrator and diplomat in the Indian Civil Service. Beginning in Lahore in 1860, his career in India spanned nearly thirty years until he resigned in 1889 and began a new life in commerce and finance. In 1884 Griffin published The Great Republic, a stinging critique of the United States. Consisting partly of articles which had already appeared in the Fortnightly Review, Griffin's book was intended to warn Englishmen, particularly Liberals, of 'the political methods of America which strike me as thoroughly bad and corrupt'. His chief accusation was that the American political system had put power into the hands of the uneducated masses. He also condemned Americans' love of materialism, their 'philistinism', and the anti-English sentiment which he had encountered during his three-week stay there. Controversial in its day, his book is a fascinating document in the history of Anglo-American relations.

Corpus linguistics is the study of language data on a large scale - the computer-aided analysis of very extensive collections of transcribed utterances or written texts. This textbook outlines the basic methods of corpus linguistics, explains how the discipline of corpus linguistics developed and surveys the major approaches to the use of corpus data. It uses a broad range of examples to show how corpus data has led to methodological and theoretical innovation in linguistics in general. Clear and detailed explanations lay out the key issues of method and theory in contemporary corpus linguistics. A structured and coherent narrative links the historical development of the field to current topics in 'mainstream' linguistics. Practical tasks and questions for discussion at the end of each chapter encourage students to test their understanding of what they have read and an extensive glossary provides easy access to definitions of technical terms used in the text.

Corpus linguistics is the study of language data on a large scale - the computer-aided analysis of very extensive collections of transcribed utterances or written texts. This textbook outlines the basic methods of corpus linguistics, explains how the discipline of corpus linguistics developed and surveys the major approaches to the use of corpus data. It uses a broad range of examples to show how corpus data has led to methodological and theoretical innovation in linguistics in general. Clear and detailed explanations lay out the key issues of method and theory in contemporary corpus linguistics. A structured and coherent narrative links the historical development of the field to current topics in 'mainstream' linguistics. Practical tasks and questions for discussion at the end of each chapter encourage students to test their understanding of what they have read and an extensive glossary provides easy access to definitions of technical terms used in the text.

Highlighting how the challenges raised by globalization - from environmental management to financial sector meltdowns - have encouraged the emergence of experts and networks as powerful actors in international governance, the contributions in this collection assess the methods and effectiveness of these new actors. Unlike other books that have focused on networks or experts, this volume brings these players together, showing how they interact and share the challenges of establishing legitimacy and justifying their power and influence. The collection shows how experts and networks function in different ways to address diverse problems across multiple borders. The reader is provided with a broader and deeper practical understanding of how informal authority actually operates, and of the nature of the relationship between different actors involved in policymaking. Through a range of case studies, the contributions in this collection explain how globalization is reshaping traditional forms

Quantum annealing is a new-generation tool of information technology, which helps in solving combinatorial optimization problems with high precision, based on the concepts of quantum statistical physics. Detailed discussion on quantum spin glasses and its application in solving combinatorial optimization problems is required for better understanding of quantum annealing concepts. Fulfilling this requirement, the book highlights recent development in quantum spin glasses including Nishimori line, replica method and quantum annealing methods along with the essential principles. Separate chapters on simulated annealing, quantum dynamics and classical spin models are provided for enhanced learning. Important topics including adiabatic quantum computers and quenching dynamics are discussed in detail. This text will be useful for students of quantum computation, quantum information, statistical physics and computer science.

This volume takes its name from a popular series of intensive mathematics workshops hosted at institutions in Appalachia and surrounding areas. At these meetings, internationally prominent set theorists give one-day lectures that focus on important new directions, methods, tools and results so that non-experts can begin to master these and incorporate them into their own research. Each chapter in this volume was written by the workshop leaders in collaboration with select student participants, and together they represent most of the meetings from the period 2006–2012. Topics covered include forcing and large cardinals, descriptive set theory, and applications of set theoretic ideas in group theory and analysis, making this volume essential reading for a wide range of researchers and graduate students.

This volume provides a clear and self-contained introduction to important results in the theory of rings and modules. Assuming only the mathematical background provided by a normal undergraduate curriculum, the theory is derived by comparatively direct and simple methods. It will be useful to both undergraduates and research students specialising in algebra. In his usual lucid style the author introduces the reader to advanced topics in a manner which makes them both interesting and easy to assimilate. As the text gives very full explanations, a number of well-ordered exercises are included at the end of each chapter. These lead on to further significant results and give the reader an opportunity to devise his own arguments and to test his understanding of the subject.

This is a full-length study of the renowned French theatre director Ariane Mnouchkine, and her company, the Théâtre du Soleil. Mnouchkine is recognized as one of the first women directors to achieve an international reputation and her productions, spanning from Shakespeare to contemporary drama, have been widely acclaimed as being in the forefront of twentieth-century theatre. Having worked with Mnouchkine's company in 1985, Adrian Kiernander was in a unique position to observe her directorial style and working methods. In this fascinating study, Kiernander analyses the elements which inform Mnouchkine's work as well as the input she has had on modern theatre. The book includes an interview with Mnouchkine, a chronology of her productions and theatre career, and is illustrated with photographs from productions.

Berlin offers an in-depth look into all the engineering aspects of geostationary satellite design, construction, and launch. Geostationary satellites have opened new doors for the peaceful use of outer space. From vantage points 22,000 miles above the equator, they permit people anywhere on land, at sea, or in the air to communicate with each other, and they provide meteorologists, geologists, and other scientists with photographs of the earth. This book gives equal emphasis to the explanation of launch vehicles, orbital mechanics, the space environment, spacecraft structures, mechanisms, thermal control, telemetry tracking and command, communications technology, meterological payloads, product assurance and testing.

Non-motor Parkinson's Disease is a burgeoning area of the movement disorders field, as patients increasingly live longer and encounter more late-stage symptoms. The spectrum of non-motor manifestations spans much of the body, with non-motor features occurring in all stages of the disease. Identification of symptoms is key for preserving quality of life and successful treatment. This is a practical manual on all aspects of pre-motor and non-motor manifestations of Parkinson's. The genetic causes of non-motor symptoms are detailed and methods of patient evaluation summarized. Topics such as autonomic and sexual dysfunction, mood disorders, and drug-induced symptoms of non-motor Parkinson's are covered in depth. This is an essential resource for movement disorder specialists, neurologists and other clinicians involved in caring for those with Parkinson's disease.

Good Science is an account of psychological research emphasizing the moral foundations of inquiry. This volume brings together existing disciplinary critiques of scientism, objectivism, and instrumentalism, and then discusses how these contribute to institutionalized privilege and to less morally responsive research practices. The author draws on historical, critical, feminist, and science studies traditions to provide an alternative account of psychological science and to highlight the irreducibly moral foundations of everyday scientific practice. This work outlines a theoretical framework for thinking about and practicing psychology in ways that center moral responsibility, collective commitment, and justice. The book then applies this framework, describing psychological research practices in terms of the their moral dilemmas. Also included are materials meant to aid in methods instruction and mentoring.

The seismic ambient field allows us to study interactions between the atmosphere, the oceans and the solid Earth. The theoretical understanding of seismic ambient noise has improved substantially in the last decades, and the number of its applications has increased dramatically. With chapters written by eminent scientists from the field, this book covers a range of topics including ambient noise observations, generation models of their physical origins, numerical modelling and processing methods. The later chapters focus on applications in imaging and monitoring the internal structure of the Earth, including interferometry for time-dependant imaging and tomography. This volume thus provides a comprehensive overview of this cutting-edge discipline for graduate students studying geophysics and for scientists working in seismology and other imaging sciences.

Over millions of years in the fossil record, hominin teeth preserve a high-fidelity record of their own growth, development, wear, chemistry and pathology. They yield insights into human evolution that are difficult, if not impossible, to achieve through other sources of fossil or archaeological data. Integrating dental findings with current debates and issues in palaeoanthropology, this book shows how fossil hominin teeth shed light on the origins and evolution of our dietary diversity, extended childhoods, long lifespans, and other fundamental features of human biology. It assesses methods to interpret different lines of dental evidence, providing a critical, practical approach that will appeal to students and researchers in biological anthropology and related fields such as dental science, oral biology, evolutionary biology, and palaeontology.

Over millions of years in the fossil record, hominin teeth preserve a high-fidelity record of their own growth, development, wear, chemistry and pathology. They yield insights into human evolution that are difficult, if not impossible, to achieve through other sources of fossil or archaeological data. Integrating dental findings with current debates and issues in palaeoanthropology, this book shows how fossil hominin teeth shed light on the origins and evolution of our dietary diversity, extended childhoods, long lifespans, and other fundamental features of human biology. It assesses methods to interpret different lines of dental evidence, providing a critical, practical approach that will appeal to students and researchers in biological anthropology and related fields such as dental science, oral biology, evolutionary biology, and palaeontology.

Why did Einstein tirelessly study unified field theory for more than thirty years? In this book, the author argues that Einstein believed he could find a unified theory of all of nature's forces by repeating the methods he thought he had used when he formulated general relativity. The book discusses Einstein's route to the general theory of relativity, focusing on the philosophical lessons that he learnt. It then addresses his quest for a unified theory for electromagnetism and gravity, discussing in detail his efforts with Kaluza-Klein and, surprisingly, the theory of spinors. From these perspectives, Einstein's critical stance towards the quantum theory comes to stand in a new light. This book will be of interest to physicists, historians and philosophers of science.

Quantile regression is gradually emerging as a unified statistical methodology for estimating models of conditional quantile functions. By complementing the exclusive focus of classical least squares regression on the conditional mean, quantile regression offers a systematic strategy for examining how covariates influence the location, scale and shape of the entire response distribution. This monograph is the first comprehensive treatment of the subject, encompassing models that are linear and nonlinear, parametric and nonparametric. The author has devoted more than 25 years of research to this topic. The methods in the analysis are illustrated with a variety of applications from economics, biology, ecology and finance. The treatment will find its core audiences in econometrics, statistics, and applied mathematics in addition to the disciplines cited above.

Quantile regression is gradually emerging as a unified statistical methodology for estimating models of conditional quantile functions. By complementing the exclusive focus of classical least squares regression on the conditional mean, quantile regression offers a systematic strategy for examining how covariates influence the location, scale and shape of the entire response distribution. This monograph is the first comprehensive treatment of the subject, encompassing models that are linear and nonlinear, parametric and nonparametric. The author has devoted more than 25 years of research to this topic. The methods in the analysis are illustrated with a variety of applications from economics, biology, ecology and finance. The treatment will find its core audiences in econometrics, statistics, and applied mathematics in addition to the disciplines cited above.

Motivating students to engage with physical chemistry through biological examples, this textbook demonstrates how the tools of physical chemistry can be used to illuminate biological questions. It clearly explains key principles and their relevance to life science students, using only the most straightforward and relevant mathematical tools. More than 350 exercises are spread throughout the chapters, covering a wide range of biological applications and explaining issues that students often find challenging. These, along with problems at the end of each chapter and end-of-term review questions, encourage active and continuous study. Over 130 worked examples, many deriving directly from life sciences, help students connect principles and theories to their own laboratory studies. Connections between experimental measurements and key theoretical quantities are frequently highlighted and reinforced. Answers to the exercises are included in the book. Fully worked solutions and answers to the

Motivating students to engage with physical chemistry through biological examples, this textbook demonstrates how the tools of physical chemistry can be used to illuminate biological questions. It clearly explains key principles and their relevance to life science students, using only the most straightforward and relevant mathematical tools. More than 350 exercises are spread throughout the chapters, covering a wide range of biological applications and explaining issues that students often find challenging. These, along with problems at the end of each chapter and end-of-term review questions, encourage active and continuous study. Over 130 worked examples, many deriving directly from life sciences, help students connect principles and theories to their own laboratory studies. Connections between experimental measurements and key theoretical quantities are frequently highlighted and reinforced. Answers to the exercises are included in the book. Fully worked solutions and answers to the

Within algebraic topology, the prominent role of multiplicative cohomology theories has led to a great deal of foundational research on ring spectra and in the 1990s this gave rise to significant new approaches to constructing categories of spectra and ring-like objects in them. This book contains some important new contributions to the theory of structured ring spectra as well as survey papers describing these and relationships between them. One important aspect is the study of strict multiplicative structures on spectra and the development of obstruction theories to imposing strictly associative and commutative ring structures on spectra. A different topic is the transfer of classical algebraic methods and ideas, such as Morita theory, to the world of stable homotopy.

Directed primarily at college and university undergraduates, this book covers at basic level the essential applications of mathematics to the physical sciences. It contains all the usual topics covered in a first-year course such as vectors, matrices, differential equations, basic mathematical functions and their analysis, and power series. There is a strong emphasis on qualitative understanding (such as curve sketching) and practical methods of solution. The latter take due account of the impact of computers on the subject. The principles of mathematical expression are illustrated by copious examples taken from a wide range of topics in physics and chemistry. Each of the short chapters concludes with a summary and a large number of problems.

In the clinical neurosciences, decision-making becomes ever more complicated because of rapidly emerging new diagnostic tests and treatments and increasing demands from patients to participate in their management. This concise but wide-ranging handbook reviews the epidemiology of neurological disease and the treatment and prognosis of all major diseases of the nervous system. Part one offers essential guidance for clinicians to quantitative methods in research, including genetic epidemiology, decision analysis, meta-analysis, outcomes research and survival analysis, and thus provides a good understanding of the evidence underlying clinical management. The second part is devoted to individual neurological diseases, covering etiology, diagnosis, prognosis, interventions, and implications for clinical practice. With contributions from leading international authorities, this book is an invaluable guide to clinical decision-making for neurologists and others involved in the management of ne

Due to the rapid development of gaming technologies in recent years, there has been a surge of interest in the role that digital games can play in foreign and second language learning. Bringing together innovative research from an international team of contributors, this book provides a comprehensive overview of the use of digital games in computer-assisted language learning (CALL).The book firstly lays the theoretical foundations and outlines various rationales for using digital games, incorporating contemporary theories of second language acquisition. It also explores the development and impact of digital games designed specifically for language learning, giving due consideration to design principles, pedagogical requirements and student health. Chapters then draw on case studies from Europe and Japan to analyse in-game interaction, attitudes and participation in both institutional and out-of-classroom settings. Seamlessly combining theory with practical application, this book outlin

This volume presents up-to-date research on finite geometries and designs, a key area in modern applicable mathematics. An introductory chapter discusses topics presented in each of the main chapters, and is followed by articles from leading international figures in this field. These include a discussion of the current state of finite geometry from a group-theoretical viewpoint, and surveys of difference sets and of small embeddings of partial cycle systems into Steiner triple systems. Also presented are successful searches for spreads and packing of designs, rank three geometries with simplicial residues and generalized quadrangles satisfying Veblen's Axiom. In addition, there are articles on new 7-designs, biplanes, various aspects of triple systems, and many other topics. This book will be a useful reference for researchers working in finite geometries, design theory or combinatorics in general.

This textbook is an introduction to the theory of Hilbert space and its applications. The notion of Hilbert space is central in functional analysis and is used in numerous branches of pure and applied mathematics. Dr Young has stressed applications of the theory, particularly to the solution of partial differential equations in mathematical physics and to the approximation of functions in complex analysis. Some basic familiarity with real analysis, linear algebra and metric spaces is assumed, but otherwise the book is self-contained. It is based on courses given at the University of Glasgow and contains numerous examples and exercises (many with solutions). Thus it will make an excellent first course in Hilbert space theory at either undergraduate or graduate level and will also be of interest to electrical engineers and physicists, particularly those involved in control theory and filter design.

The Diadem Reference Edition enlarges the classic and elegant text design of the Pitt Minion Edition, widely admired for its fine combination of readable text and efficient use of space. The beautiful Lexicon font retains the elegance of traditional Bible lettering, while offering the clarity of reading provided by modern fonts. The text is arranged in paragraph format and supported by centre-column cross-references, a comprehensive concordance, and 15 colour maps. This attractive hardback edition features stunning cover artwork and is fully sewn for flexibility and strength. This is the advent of a new family of Bibles, available first in the ESV translation.

The essays in this volume - written by prominent philosophers, political scientists and legal scholars - address the basic purposes of constitutions and their status as fundamental law. Some deal with specific constitutional provisions: they ask, for example, which branches of government should have the authority to conduct foreign policy, or how the judiciary should be organized, or what role a preamble should play in a nation's founding document. Other essays explore questions of constitutional design: they consider the advantages of a federal system of government, or the challenges of designing a constitution for a pluralistic society - or they ask what form of constitution best promotes personal liberty and economic prosperity.

This book, the first in the Cambridge Nonlinear Science Series, presents the fundamentals of chaos theory in conservative systems, providing a systematic study of the theory of transitional states of physical systems which lie between deterministic and chaotic behaviour. The authors' treatment of transitions to chaos, the theory of stochastic layers and webs, and the numerous applications of this theory, particularly to pattern symmetry, will make the book of importance to scientists from many disciplines.The authors have been meticulous in providing a detailed presentation of the material, enabling the reader to learn the necessary computational methods and to apply them in other problems. The inclusion of a significant amount of computer graphics is also an important aid to understanding. The final section of the book contains a fascinating collection of patterns in art and living nature. The book will be of interest to graduate students and researchers in physics and mathematics who

This book, the first in the Cambridge Nonlinear Science Series, presents the fundamentals of chaos theory in conservative systems, providing a systematic study of the theory of transitional states of physical systems which lie between deterministic and chaotic behaviour. The authors' treatment of transitions to chaos, the theory of stochastic layers and webs, and the numerous applications of this theory, particularly to pattern symmetry, will make the book of importance to scientists from many disciplines.The authors have been meticulous in providing a detailed presentation of the material, enabling the reader to learn the necessary computational methods and to apply them in other problems. The inclusion of a significant amount of computer graphics is also an important aid to understanding. The final section of the book contains a fascinating collection of patterns in art and living nature. The book will be of interest to graduate students and researchers in physics and mathematics who

This book provides a thorough introduction to one of the most efficient approximation methods for the analysis and solution of problems in theoretical physics and applied mathematics. It is written with practical needs in mind and contains a discussion of 50 problems with solutions, of varying degrees of difficulty. The problems are taken from quantum mechanics, but the method has important applications in any field of science involving second order ordinary differential equations. The power of the asymptotic solution of second order differential equations is demonstrated, and in each case the authors clearly indicate which concepts and results of the general theory are needed to solve a particular problem. This book will be ideal as a manual for users of the phase-integral method, as well as a valuable reference text for experienced research workers and graduate students.

This book provides a thorough introduction to one of the most efficient approximation methods for the analysis and solution of problems in theoretical physics and applied mathematics. It is written with practical needs in mind and contains a discussion of 50 problems with solutions, of varying degrees of difficulty. The problems are taken from quantum mechanics, but the method has important applications in any field of science involving second order ordinary differential equations. The power of the asymptotic solution of second order differential equations is demonstrated, and in each case the authors clearly indicate which concepts and results of the general theory are needed to solve a particular problem. This book will be ideal as a manual for users of the phase-integral method, as well as a valuable reference text for experienced research workers and graduate students.

This book shines much-needed light on the history, structures and films of the Amharic film industry in Ethiopia. Focusing on the rise of the industry from 2002, until today, and embedded in archival, ethnographic and textual research methods, this book offers a sustained and detailed appreciation of Amharic-language cinema. Michael Thomas considers 'fiker'/love as an organising principle in national Ethiopian culture and, by extension, Amharic cinema. Placing 'fiker' as central to understanding Amharic film genres also illuminates the continuous negotiations at play between romantic, familial, patriotic and spiritual notions of love in these films. Thomas considers the production and exhibition of films in Ethiopia, charting fluctuations and continuities between the past and the present. Having done so, he offers detailed textual readings of films, identifying important junctures in the industry’s development and the emergence of new genres. The findings of the book detail the affecti

One of the major problems of macroeconomic theory is the way in which the people exchange goods in decentralized market economies. There are major disagreements among macroeconomists regarding tools to influence required outcomes. Since the mainstream efficient market theory fails to provide an internal coherent framework, there is a need for an alternative theory. The book provides an innovative approach for the analysis of agent based models, populated by the heterogeneous and interacting agents in the field of financial fragility. The text is divided in two parts; the first presents analytical developments of stochastic aggregation and macro-dynamics inference methods. The second part introduces macroeconomic models of financial fragility for complex systems populated by heterogeneous and interacting agents. The concepts of financial fragility and macroeconomic dynamics are explained in detail in separate chapters. The statistical physics approach is applied to explain theories of m

This introduction to the basic ideas of structural proof theory contains a thorough discussion and comparison of various types of formalization of first-order logic. Examples are given of several areas of application, namely: the metamathematics of pure first-order logic (intuitionistic as well as classical); the theory of logic programming; category theory; modal logic; linear logic; first-order arithmetic and second-order logic. In each case the aim is to illustrate the methods in relatively simple situations and then apply them elsewhere in much more complex settings. There are numerous exercises throughout the text. In general, the only prerequisite is a standard course in first-order logic, making the book ideal for graduate students and beginning researchers in mathematical logic, theoretical computer science and artificial intelligence. For the new edition, many sections have been rewritten to improve clarity, new sections have been added on cut elimination, and solutions to sel