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

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.

Advances in data collection and data storage techniques have enabled marketing researchers to study the individual characteristics of a large range of transactions and purchases, in particular the effects of household-specific characteristics. This 2001 book presents important and practically relevant quantitative models for marketing research. Each model is presented in detail with a self-contained discussion, which includes: a demonstration of the mechanics of the model, empirical analysis,...

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

This new edition of one of the most widely used course books on Islamic civilizations around the world has been substantially revised to incorporate the new scholarship and insights of the last twenty-five years. Ira Lapidus' history explores the beginnings and transformations of Islamic civilizations in the Middle East and details Islam's worldwide diffusion. The history is divided into four parts.

Part I is a comprehensive account of pre-Islamic late antiquity; the beginnings of Islam; the ...

The Cambridge Companion to Greek and Roman Philosophy is a wide-ranging 2003 introduction to the study of philosophy in the ancient world. It will be an invaluable guide for all who are interested in the philosophical thought of this rich and formative period.

This accessible guide provides clear, practical explanations of key research methods in business studies, presenting a step-by-step approach to data collection, analysis and problem solving. Readers will learn how to formulate a research question, choose an appropriate research method, argue and motivate, collect and analyse data, and present findings in a logical and convincing manner. The authors evaluate various qualitative and quantitative methods and their consequences, guiding readers t...

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