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

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

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

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

Persian literature is the jewel in the crown of Persian culture. It has profoundly influenced the literatures of Ottoman Turkey, Muslim India and Turkic Central Asia and been a source of inspiration for Goethe, Emerson, Matthew Arnold and Jorge Luis Borges among others. Yet Persian literature has never received the attention it truly deserves."A History of Persian Literature" answers this need and offers a new, comprehensive and detailed history of its subject.

This 18-volume, authoritative s...

Divided into seven parts, the text is organised so that the main focus progresses across chapters from primary prevention (parts 1 to 3), through secondary prevention (parts 4 and 5), to tertiary prevention and care (part 6).

Le Référentiel de l’Alliance française est un outil de synthèse destiné aux professeurs. Il comprend pour chaque niveau du Cadre l'ensemble des compétences, et pour chacune d'elle les savoir-faire, actes de parole, contenus grammaticaux, lexique et les aspects socioculturels correspondant aux descripteurs du niveau. Le Référentiel de l’Alliance française est un outil de synthèse destiné aux professeurs. Conçu pour faciliter le travail d’analyse et de conception de matériel ...

Gauss's law for electric fields, Gauss's law for magnetic fields, Faraday's law, and the Ampere-Maxwell law are four of the most influential equations in science. In this guide for students, each equation is the subject of an entire chapter, with detailed, plain-language explanations of the physical meaning of each symbol in the equation, for both the integral and differential forms. The final chapter shows how Maxwell's equations may be combined to produce the wave equation, the basis for th...