Mangione, Corrado, 1930-2009 |
About some problems in the history of mathematical logic / C. Mangione, S. Bozzi |
In: Atti del Convegno internazionale di storia della logica. p. 157-174 |
Cantù, Paola |
Giuseppe Veronese e i fondamenti della geometria / Paola Cantù |
Milano : Unicopli, 1999. |
Bozzi, Silvio |
Implicazione stretta e metodo assiomatico nella logica di Lewis e Langford / Silvio Bozzi |
In: Atti del Convegno internazionale di storia della logica Le teorie delle modalità. Convegno internazionale di storia della logica Le teorie delle modalità (1987 : San Gimignano) p. 183-203 |
Bozzi, Silvio |
Linguaggio, logica e matematica in Alan Turing / Silvio Bozzi |
In: Eredità di Alan Turing. p. 101-138 |
Cantù, Paola |
La matematica da scienza delle grandezze a teoria delle forme : l'Ausdehnungslehre di H. Grassmann / Paola Cantù |
Mangione, Corrado, 1930-2009 |
Storia della logica : da Boole ai nostri giorni / Corrado Mangione, Silvio Bozzi |
Milano : Garzanti, 1993. |
Bozzi, Silvio |
Vailati e la logica / Silvio Bozzi |
In: Mondi di carta di Giovanni Vailati. p. 88-111 |