Libri di Ernest Nagel
Biografia e opere di Ernest Nagel
La prova di Gödel
Ernest Nagel , James R. Newman
editore: Bollati Boringhieri
pagine: 144
Nel 1931 un giovane viennese, Kurt Gödel, diede alle stampe una breve memoria sulle "proposizioni formalmente indecidibili dei
