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

In a reappraisal of Iran's modern history, Ervand Abrahamian traces its traumatic journey across the twentieth century, through the discovery of oil, imperial interventions, the rule of the Pahlavis and, in 1979, revolution and the birth of the Islamic Republic. In the intervening years, the country has experienced a bitter war with Iraq, the transformation of society under the clergy and, more recently, the expansion of the state and the struggle for power between the old elites, the intelli...

Cambridge English for the Media develops the communication skills and specialist English language knowledge of media students and professionals, enabling them to work more confidently and effectively. Covering a range of media-related fields including newspapers, television, radio and marketing, the eight standalone units enable students to concentrate on the areas that are most relevant to them. As well as teaching specialist language, the course also develops job-specific skills such as wri...

Cambridge English for Engineering develops the communication skills and specialist English language knowledge of engineering professionals, enabling them to communicate more confidently and effectively with colleagues and customers. The ten standalone units cover topics common to all kinds of engineering (including civil, electrical and mechanical) such as procedures and precautions; monitoring and control; and engineering design. Authentic activities, from describing technical problems and s...

Maxwell's equations are four of the most influential equations in science. In this book, each equation is the subject of an entire chapter, making it a wonderful resource for undergraduate and graduate courses in electromagnetism and electromagnetics.