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

Cette véritable anthologie s'adresse à tous ceux qui souhaitent découvrir, redécouvrir ou faire découvrir les trésors de la littérature française.

ans ce véritable ouvrage de référence, vous trouverez :

- une présentation chronologique des principaux écrivains et leurs plus grandes oeuvres dans leurs contextes historiques et culturels,

- plus de 150 écrivains,

- de nombreux extraits de textes enrichis de commentaires littéraires,

- les sources de la littérature française,

- t...

The secret to productivity isn't discipline. It's joy.

We think that productivity is all about hard work. That the road to success is lined with endless frustration and toil. But what if there's another way?

Dr Ali Abdaal - the world's most-followed productivity expert - has uncovered an easier and happier path to success. Drawing on decades of psychological research, he has found that the secret to productivity and success isn't grind - it's feeling good. If you can make y...

60 000 mots, 300 000 sens, 35 000 citations, 75 000 étymologies.

- Une description inégalée de la langue française

- La langue d’aujourd’hui : les mots nouveaux et les emplois les plus récents, l’orthographe et ses dernières évolutions.

- L’usage de chaque mot : son orthographe, sa prononciation, ses différentes significations illustrées de nombreux exemples, les expressions et les locutions où il figure.

- L’étymologie : l’histoire du mot, avec sa date d’apparition, ...

This new edition of Risk Management: Concepts and Guidance supplies a look at risk in light of current information, yet remains grounded in the history of risk practice. Taking a holistic approach, it examines risk as a blend of environmental, programmatic, and situational concerns. Supplying comprehensive coverage of risk management tools, practices, and protocols, the book presents powerful techniques that can enhance organizational risk identification, assessment, and management—all with...

What fuels long-term business success? Not operational excellence, technology breakthroughs, or new business models, but management innovation--new ways of mobilizing talent, allocating resources, and formulating strategies. Through history, management innovation has enabled companies to cross new performance thresholds and build enduring advantages. In The Future of Management, Gary Hamel argues that organizations need management innovation now more than ever.

Why? The management paradigm of...

This edited volume explores the notion of “artifice” in modern visual culture, ranging from the eighteenth century to the present, in countries around the globe.

Artifice has been regarded as a primarily Western phenomenon, playing as it does a central role in European art theory since the Renaissance. This volume proposes that artifice is better understood as a transcultural artistic phenomenon and requires far broader conceptualization across international contexts. It acquaints readers...

Er zijn talloze psychologische modellen in omloop. Maar welk model is nu geschikt als je beter wilt leren omgaan met conflicten, je faalangst wilt aanpakken, je charisma wilt ontwikkelen of wilt weten welke leerstijl voor jou het meest effectief is? In het Groot Psychologisch Modellenboek worden de belangrijkste modellen op een rijtje gezet. Aan bod komen onder andere de Roos van Leary, het Primary Mental Abilities-model, The Big Five, RET, de piramide van Maslow, flow, de loopbaanankers van ...

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

This is a second edition of the highly popular volume used by clinicians and students in the assessment and intervention of aphasia. It provides both a theoretical and practical reference to cognitive neuropsychological approaches for speech-language pathologists and therapists working with people with aphasia. Having evolved from the activity of a group of clinicians working with aphasia, it interprets the theoretical literature as it relates to aphasia, identifying available assessments and...