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

Cultural Globalization: A User's Guide is a personal and engaging journey through theories of culture and globalization. Drawing on extensive examples and interdisciplinary research, Wise explores concepts of culture, territory and identity in order to give students a new perspective on issues of globalization. Includes numerous examples from Asian, European, and North American youth culture and popular music. Draws on interdisciplinary research from the fields of anthropology, cultural studi...

A quarter of a century on from its original publication, Literary Theory: An Introduction still conjures the subversion, excitement and exoticism that characterized theory through the 1960s and 70s, when it posed an unprecedented challenge to the literary establishment. Eagleton has added a new preface to this anniversary edition to address more recent developments in literary studies, including what he describes as "the growth of a kind of anti-theory", and the idea that literary theory has ...

What is Geography? Geography is a fundamental fascination with, and a crucial method for, understanding the way the world works. This title offers readers a short and highly accessible account of the ideas and concepts constituting geography.

Tomorrow's nanoscientist will have a truly interdisciplinary and nano-centric education, rather than, for example, a degree in chemistry with a specialization in nanoscience. For this to happen, the field needs a truly focused and dedicated textbook. This full-color masterwork is such a textbook.

It introduces the nanoscale along with the societal impacts of nanoscience, then presents an overview of characterization and fabrication methods. The authors systematically discuss the chemistry, ph...

Herodotus is not only known as the `father of history', as Cicero called him, but also the father of ethnography; as well as charting the historical background to the Persian Wars, his curiosity also prompts frequent digression on the cultures of the peoples he introduces. While much of the information he gives has proved to be astonishingly accurate, he also entertains us with delightful tales of one-eyed men and gold-digging ants. This readable new translation is supplemented with expansive...

David Hume is the greatest and also one of the most provocative philosophers to have written in the English language. No philosopher is more important for his careful, critical, and deeply perceptive examination of the grounds for belief in divine powers and for his sceptical accounts of the causes and consequences of religious belief, expressed most powerfully in the Dialogues Concerning Natural Religion and The Natural History of Religion. The Dialogues ask if belief in God can be inferred ...

For 5000 years shipping has served the world economy and today it provides a sophisticated transport service to every part of the globe. Yet despite its economic complexity, shipping retains much of the competitive cut and thrust of the “perfect” market of classical economics. This blend of sophisticated logistics and larger than life entrepreneurs makes it a unique case study of classical economics in a modern setting.

The enlarged and substantially rewritten Maritime Economics u...

This accessible guide to the Gospel and Letters of John introduces readers to key issues arising from historical, literary, and theological approaches to the Johannine literature, also discussing the methodological rationale underlying each of these approaches. After introducing the reader to the development of the narrative structure of the book, the message (theology) is discussed in detail, with the aim of introducing the reader to the interrelatedness of the multiple theological ideas in ...

Clear, student-friendly introduction to the technical concepts and policies of contemporay governance.