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

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