matematica TecaLibri Giambattista Formica: opere 2013 Da Hilbert a von Neumann. La svolta pragmatica nell'assiomatica, [rif.] 2015 Il libro della natura II