Abstract

The point of departure of this volume has been a conférence, "From Practice to Results in Logic and Mathematics", organized by the PratiScienS group in June 2010 in Nancy. The present volume does not contain, properly speaking, the proceedings of this conference. Indeed, the book is the result of a separate call for papers, and there is no exact coincidence between the papers it includes and the contributions of the initial conference. Nevertheless, the conference and this volume have been in...