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