01648nam a2200337 4500000000339024CaOOAMICUS20200127160118.0200127s2016 it 000 u ita r978-88-339-2484-71. Rist.SeMilitaNagel, Ernest,<1901-1985>.(OLS)http://semarc/name/35267Gödel's proof.(OLS)http://semarc/title/427852La prova di Gödel /Ernest Nagel e James R. Newman ; presentazione di Edoardo Ballo ; traduzione di Luigi Bianchi.Torino :Bollati Boringhieri,2016.136 p. ;19 cmGödel, Kurt.(OLS)http://semarc/subject/3611Gödel, Kurt - Dimostrazione della indecidibilità.(OLS)http://semarc/subject/31810Matematica - Teorie - Sec. 20.(OLS)http://semarc/subject/24633Logica matematica.(OLS)http://semarc/subject/3241Newman, James R.,<1907-1966>.(OLS)http://semarc/name/110744Ballo, Edoardo.(OLS)http://semarc/name/10400Bianchi, Luigi,<traduttore>.(OLS)http://semarc/name/110809I grandi pensatori ;71.(OLS)http://semarc/title/426776SeMilSeMil1Venegono13XA I 5218100230111SeMilBibl2230111 1Brambilla don Paolo - Omaggio020978-88-339-2484-71. Rist.(OLS)http://semarc/number/289721245La prova di Gödel(OLS)http://semarc/title/427853264Torino :Bollati Boringhieri(OLS)http://semarc/publisher/31556