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

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

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

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

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

In dit handboek over de oudheid wordt de geschiedenis van de Griekse en Romeinse wereld op een nieuwe wijze gepresenteerd: ingebed in naar tijd en ruimte uitgebreide kaders – chronologisch van de vroege prehistorie tot ver in de Middeleeuwen en geografisch over het hele gebied van Europa, Azië en Noord-Afrika.

Binnen deze kaders ligt de nadruk steeds op de Grieks-Romeinse wereld van de periode 1000 v.C. tot 500 n.C. Die periode wordt in vier naar opzet gelijkwaardige delen gesplitst, waarbi...

This text aims to be useful and relevant for student nurses from all backgrounds with a range of professional aspirations. It demonstrates the importance of psychology in both the nursing role and in health care in general.

Seeing comes before words. The child looks and recognizes before it can speak. But, there is also another sense in which seeing comes before words. It is seeing which establishes our place in the surrounding world. The relation between what we see and what we know is never settled. This is a book on art in various languages.