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

Le Référentiel de l’Alliance française est un outil de synthèse destiné aux professeurs. Il comprend pour chaque niveau du Cadre l'ensemble des compétences, et pour chacune d'elle les savoir-faire, actes de parole, contenus grammaticaux, lexique et les aspects socioculturels correspondant aux descripteurs du niveau. Le Référentiel de l’Alliance française est un outil de synthèse destiné aux professeurs. Conçu pour faciliter le travail d’analyse et de conception de matériel ...

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

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

Divided into seven parts, the text is organised so that the main focus progresses across chapters from primary prevention (parts 1 to 3), through secondary prevention (parts 4 and 5), to tertiary prevention and care (part 6).

Sinds het verschijnen van het eerste grote werk van Ivan Boszormenyi-Nagy Invisible Loyalties (1973) is loyaliteit een centraal begrip in de contextuele benadering. Het boek werd vertaald in het Duits, Spaans en Italiaans, maar niet in het Frans of Nederlands. Daarom schreef Catherine Ducommun-Nagy Les Loyautés qui nous libèrent. Zij volgt hierin de ideeën van de originele tekst van Invisible Loyalties en verbindt deze verder met elementen van recenter verschenen andere werken zoals Betwee...

In het begin van deze eeuw ontstond onder de wiskundigen een heftig debat over de verzamelingenleer van Cantor. Zijn theorie leek de basistheorie van de gehele wiskunde te worden, maar bleek te leiden tot antinomieën.

Michel Combès stelt het probleem en beschrijft de belangrijkste voorgestelde oplossingen en de belangrijkste discussianten: Russel, Brouwer, Zermelo en Hilbert.

Het Handboek filmnarratologie vertaalt de binnen de literatuurwetenschap ontwikkelde verteltheorie naar filmtheorie, en onderkent daarbij de eigen aard van de twee media. Want behalve uit tekst en woorden bestaat film natuurlijk ook uit beeld en geluid. Die gelaagdheid neemt Peter Verstraten als uitgangspunt voor een verkenning van onder meer de verhouding tussen tonen en editing en de relatie tussen voice-over en flashback. Tevens verfijnt hij de concepten van visuele en auditieve focalisati...