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

The Cambridge Introduction to Postmodernism surveys the full spectrum of postmodern culture - high and low, avant-garde and popular, famous and obscure - across a range of fields, from architecture and visual art to fiction, poetry, and drama. It deftly maps postmodernism's successive historical phases, from its emergence in the 1960s to its waning in the first decades of the twenty-first century. Weaving together multiple strands of postmodernism - people and places from Andy Warhol, Jeffers...

Just about everyone seems to have views about language. Language attitudes and language ideologies permeate our daily lives. Our competence, intelligence, friendliness, trustworthiness, social status, group memberships, and so on, are often judged from the way we communicate.

Even the speed at which we speak can evoke reactions. And we often try to anticipate such judgements as we communicate. In this lively introduction, Peter Garrett draws upon research carried out over recent decades in or...

The Cambridge History of Japanese Literature provides, for the first time, a history of Japanese literature with comprehensive coverage of the premodern and modern eras in a single volume. The book is arranged topically in a series of short, accessible chapters for easy access and reference, giving insight into both canonical texts and many lesser known, popular genres, from centuries-old folk literature to the detective fiction of modern times. The various period introductions provide an ove...

Disasters and History offers the first comprehensive historical overview of hazards and disasters. Drawing on a range of case studies, including the Black Death, the Lisbon earthquake of 1755 and the Fukushima disaster, the authors examine how societies dealt with shocks and hazards and their potentially disastrous outcomes. They reveal the ways in which the consequences and outcomes of these disasters varied widely not only between societies but also within the same societies according to so...

A Student Grammar of Turkish is a concise introduction to Turkish grammar, designed specifically for English-speaking students and professionals. Written with the needs of the learner very much in mind, it sets out the grammar of the language in a clear and jargon-free style.

Adopting the same approach used in his highly popular A Student's Guide to Maxwell's Equations, Fleisch explains vectors and tensors in plain language to give undergraduate and beginning graduate students a better understanding of how to use vectors and tensors to solve problems in physics and engineering.

Becoming a Reader argues that, whatever our individual differences of personality and background, there is a regular sequence of attitudes we go through as we mature, which affect how we experience fiction, from the five-year-old child absorbed in the world of fantasy play, through the seventeen year old critical seeker of the truth, to the middle-aged reader recognizing their own experiences in fictional characters. Becoming a Reader argues that this sequence of responses can be worked out a...

This is the first full-length biography in more than fifty years of Immanuel Kant, one of the giants amongst the pantheon of Western philosophers as well as the one with the most powerful and broad influence on contemporary philosophy. It is well known that Kant spent his entire life in an isolated part of Prussia living the life of a typical university professor. This has given rise to the view that Kant was a pure thinker with no life of his own, or at least none worth considering seriously.

In this biography, Manfred Kuehn debunks that myth once and for all. Taking account of the most recent scholarship Professor Kuehn allows the reader (whether interested in philosophy, history, politics, German culture, or religion) to follow the same journey that Kant himself took in emerging as a central figure in modern philosophy...

Measurement shapes scientific theories, characterises improvements in manufacturing processes and promotes efficient commerce. In concert with measurement is uncertainty, and students in science and engineering need to identify and quantify uncertainties in the measurements they make. This book introduces measurement and uncertainty to second and third year students of science and engineering.

Its approach relies on the internationally recognised and recommended guidelines for calculating and...