This book contains the papers developing out the presentations given at the International
Conference organized by the Torino Academy of Sciences and the Department of Mathematics
Giuseppe Peano of the Torino University to celebrate the 150th anniversary of G. Peano's birth
- one of the greatest figures in modern mathematics and logic and the most important
mathematical logician in Italy - a century after the publication of Formulario Mathematico a
great attempt to systematise Mathematics in symbolic form.