Giuseppe Peano between mathematics and logic : proceeding of the International Conference in honour of Giuseppe Peano on the 150th anniversary of his birth and the centennial of the Formulario Mathematico, Turin (Italy), October 2-3, 2008