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

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