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

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

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

Measures taken by states in the name of countering terrorism constantly give rise to new international legal issues. Helen Duffy brings the law to life via detailed case studies which show what the war on terror means in practice for affected individuals and for the rule of law more broadly.

In its original edition, Bruce Trigger's book was the first ever to examine the history of archaeological thought from medieval times to the present in world-wide perspective. Now, in this new edition, he both updates the original work and introduces new archaeological perspectives and concerns.

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

Internationally recognised as one of the leading texts in its field, this volume offers a comprehensive introduction to vocabulary for language teachers who would like to know more about the way vocabulary works. Two leading specialists make research and theory accessible, providing the background knowledge necessary for practitioners to make informed choices about vocabulary teaching and testing. This second edition retains the popular format of the first edition, and has been rewritten to t...