Formulario mathematico

Formulario Mathematico (Latino sine flexione:Formulation of mathematics) is a book by Giuseppe Peano which expresses fundamental theorems of mathematics in a symbolic language developed by Peano. The author was assisted by Giovanni Vailati, Mario Pieri, Alessandro Padoa, Giovanni Vacca, Vincenzo Vivanti, Gino Fano and Cesare Burali-Forti.

The Formulario was first published in 1895. The fifth and last edition was published in 1908.

Kennedy wrote "the development and use of mathematical logic is the guiding motif of the project". He also explains the variety of Peano's publication under the title:

Peano believed that students needed only precise statement of their lessons. He wrote:

Such a dismissal of the oral tradition in lectures at universities was the undoing of Peano's own teaching career.

...
Wikipedia