TY - BOOK AU - Formica,Giambattista TI - Da Hilbert a von Neumann: la svolta pragmatica nell'assiomatica T2 - Biblioteca di testi e studi SN - 9788843069187 PY - 2013/// CY - Roma PB - Carocci editore KW - Hilbert, David, KW - Neumann, John von, KW - Gödel, teorema di KW - sbaa N1 - Include bibliografia (p. 237-257) e indice ER -