00863nam 2200289 450 991075760100332120231123112817.0978-88-430-6918-720231123d2013----u y0engy50 baitaIT 001yyDa Hilbert a von Neumannla svolta pragmatica nell'assiomaticaGiambattista FormicaRomaCarocci2013261 p.22 cmBiblioteca di testi e studi834Logica matematicaTeorieTeorema di incompletezza di Gödel511.3Formica,Giambattista1332823ITUNINARICAUNIMARCBK991075760100332110 DO 276 TADONOTAMBURRINI276/23DINELDINELDa Hilbert a von Neumann3594148UNINA