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

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.

“It’s not the magic that makes it work; it’s the way we work that makes it magic.”

The secret for creating “magic” in our careers, our organizations, and our lives is simple: outstanding leadership—the kind that inspires employees, delights customers, and achieves extraordinary business results.

No one knows more about this kind of leadership than Lee Cockerell, the man who ran Walt Disney World® Resort operations for over a decade. And in Creating Magic, he shares the leadersh...

Thou and thine, Hester Prynne, belong to me.'With these chilling words a husband claims his wife after a two-year absence. But the child she clutches is not his, and Hester must wear a scarlet 'A' upon her breast, the sin of adultery visible to all. Under an assumed name her husband begins his search for her lover, determined to expose what Hester is equally determined to protect.

Defiant and proud, Hester witnesses the degradation of two very different men, as moral codes and legal imperativ...