Biblioteca: RomaAutori: Newman, J. R.Nagel, E.Edizione: Boringhieri, TorinoAnno: 1992Anno ed. originale: 1958Parole chiave: logica formaleGoedel