Structural proof theory is a branch of logic that studies the general structure and properties of logical and mathematical proofs. This book is both a concise introduction to the central results and methods of structural proof theory, and a work of research that will be of interest to specialists. The book is designed to be used by students of philosophy, mathematics, and computer science. A special feature of the volume is a computerized system for developing proofs interactively, downloa...

This is a critical introduction to modern French philosophy, commissioned from one of the liveliest contemporary practitioners and intended for an English-speaking readership. The dominant 'Anglo-Saxon' reaction to philosophical development in France has for some decades been one of suspicion, occasionally tempered by curiosity but more often hardening into dismissive rejection. But there are signs now of a more sympathetic interest and an increasing readiness to admit and explore shared conc...

Building on a survey of media institutions in eighteen West European and North American democracies, Hallin and Mancini identify the principal dimensions of variation in media systems and the political variables which have shaped their evolution. They go on to identify three major models of media system development (the Polarized Pluralist, Democratic Corporatist and Liberal models) to explain why the media have played a different role in politics in each of these systems, and to explore the ...

Geographical Information Systems has moved from the domain of the computer specialist into the wider archaeological community, providing it with an exciting new research method. This clearly written but rigorous book provides a comprehensive guide to that use. Topics covered include: the theoretical context and the basics of GIS; data acquisition including database design; interpolation of elevation models; exploratory data analysis including spatial queries; statistical spatial analysis; map...

This book is a study of the interaction of the Western societies of Europe and America with others around the world in the past two centuries - the age of European empire. It deals with the European threat and the non-Western response, but the focus is on the ways in which people in Asia, Africa, and Indian America have tried to adapt their ways of life to the overwhelming European power that existed in this period. The challenge and the response are presented through a series of selected and...

To this day, Japan's modern ascendancy challenges many assumptions about world history, particularly theories regarding the rise of the west and why the modern world looks the way it does. In this engaging new history, Brett L. Walker tackles key themes regarding Japan's relationships with its minorities, state and economic development, and the uses of science and medicine.

The book begins by tracing the country's early history through archaeological remains, before proceeding to explore life...

This book promotes an evidence-based paradigm of fetal heart rate monitoring during labour, with a move away from the traditional 'pattern-based' interpretation to physiology-based interpretation. Chapters are presented in a systematic and accessible format, covering topics such as non-hypoxic causes of fetal brain injury, pre-existing hypoxia, types of intrapartum hypoxia, erroneous monitoring of maternal heart rate, fetal scalp blood sampling and fetal ECG (STAN), intermittent auscultation ...

Crisis management has become a defining feature of contemporary governance. In times of crisis, communities and members of organizations expect their leaders to minimize the impact, while critics and bureaucratic competitors make use of social media to blame incumbent rulers and their policies. In this extreme environment, policymakers must somehow establish a sense of normality, and foster collective learning from the crisis experience.

In the new edition of this uniquely comprehensive analy...

Building on the success of previous editions (Cryer et al.), this popular textbook is now expanded and updated in a 5th edition featuring two new co-authors, Elies van Sliedregt and Valerie Oosterveld. A market leader and one of the most globally trusted textbooks on international criminal law, it is known for its accessible and engaging tone and for an even-handed approach that is both critical and constructive. Comprehensively updated and rewritten, this new edition introduces readers to th...

Mary Wollstonecraft, often described as the first major feminist, is remembered principally as the author of A Vindication of the Rights of Woman (1792), and there has been a tendency to view her most famous work in isolation. Yet Wollstonecraft's pronouncements about women grew out of her reflections about men, and her views on the female sex constituted an integral part of a wider moral and political critique of her times which she first fully formulated in A Vindication of the Rights of Me...