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, downloadab...

Contemporary China appears both deceptively familiar and inexplicably different. China is a cauldron of forms of entrepreneurship, social organization, ways of life and governance that are at once new and unique, recognizably Chinese and generically modern. In analyzing and interpreting these developments, Frank N.

Pieke adopts a China-centric perspective to move beyond western preoccupations, desires, or fears. Each chapter starts with a key question about China, showing that such questions ...

Delivering fundamental insights into the most popular methods of molecular analysis, this text is an invaluable resource for students and researchers. It encompasses an extensive range of spectroscopic and spectrometric techniques used for molecular analysis in the life sciences, especially in the elucidation of the structure and function of biological molecules. Covering the range of up-to-date methodologies from everyday mass spectrometry and centrifugation to the more probing X-ray crystal...

This Element offers a brief overview of Buddhist thought and modern scholarly approaches to its diverse forms of moral reflection. It then explores two of the most prominent philosophers from the main strands of the Indian Buddhist tradition - Buddhaghosa and Santideva - in a comparative fashion.

Working memory is currently a 'hot' topic in cognitive psychology and neuroscience. Because of their radically different scopes and emphases, however, comparing different models and theories and understanding how they relate to one another has been a difficult task. This volume offers a much-needed forum for systematically comparing and contrasting existing models of working memory.

It does so by asking each contributor to address the same comprehensive set of important theoretical questions ...

Social theory is the theoretical core of the social sciences, clearly distinguishable from political theory and cultural analysis. This book offers a unique overview of the development of social theory from the end of the Second World War in 1945 to the present day. Spanning the literature in English, French and German, it provides an excellent background to the most important social theorists and theories in contemporary sociological thought, with crisp summaries of the main books, arguments...

This unique textbook merges human rights law with its practice, from the courtroom to the battlefield. Human rights are analysed in their particular context, and the authors assess, among other things, the impact of international finance, the role of NGOs, and the protection of rights in times of emergency, including the challenges posed by counter-terrorism. In parallel, a series of interviews with practitioners, case studies and practical applications offer multiple perspectives and challen...

Systematically and comprehensively covering the management of life-threatening emergencies of pregnancy, this updated revision of the third edition gives readers the skills they need to save both mother and fetus. The clear step-by-step advice is invaluable for anyone facing obstetric emergencies, whether in training or experienced.

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...

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 ...