Hilbert, David, 1862-1943 |
Fondamenti della geometria / David Hilbert ; con i Supplementi di Paul Bernays ; introduzione di Renato Betti ; [traduzione dal tedesco di Pietro Canetta] |
Milano : F. Angeli, c2009. |
Rivetti Barbò, Francesca |
Sulla prova di Goedel della non-dimostrabilità della non-contradittorietà nella formalizzazione di Bernays : considerazioni filosofiche tra le due culture / Francesca Rivetti Barbò |
In: Scienza e filosofia. p. 279-294 |