LDR 01648nam a2200337 4500 001 000000339024 003 CaOOAMICUS 005 20200127160118.0 008 200127s2016 it 000 u ita r 020 $a978-88-339-2484-7$c1. Rist. 040 $aSeMil$bita 100 1 $aNagel, Ernest,$d<1901-1985>.$0(OLS)http://semarc/name/35267 240 10$aGödel's proof.$0(OLS)http://semarc/title/427852 245 13$aLa prova di Gödel /$cErnest Nagel e James R. Newman ; presentazione di Edoardo Ballo ; traduzione di Luigi Bianchi. 264 1$aTorino :$bBollati Boringhieri,$c2016. 300 $a136 p. ;$c19 cm 600 14$aGödel, Kurt.$0(OLS)http://semarc/subject/3611 650 4$aGödel, Kurt - Dimostrazione della indecidibilità.$0(OLS)http://semarc/subject/31810 650 4$aMatematica - Teorie - Sec. 20.$0(OLS)http://semarc/subject/24633 650 4$aLogica matematica.$0(OLS)http://semarc/subject/3241 700 1 $aNewman, James R.,$d<1907-1966>.$0(OLS)http://semarc/name/110744 700 1 $aBallo, Edoardo.$0(OLS)http://semarc/name/10400 700 1 $aBianchi, Luigi,$c<traduttore>.$0(OLS)http://semarc/name/110809 830 2$aI grandi pensatori ;$v71.$0(OLS)http://semarc/title/426776 850 $aSeMil 852 $aSeMil$W1$xVenegono$y1$m3XA I 5$j218100$B230111$CSeMilBibl$Z2$F230111 $81 961 $aBrambilla don Paolo - Omaggio 996 $6020$a978-88-339-2484-7$c1. Rist.$9(OLS)http://semarc/number/289721 996 $6245$aLa prova di Gödel$9(OLS)http://semarc/title/427853 996 $6264$aTorino :$bBollati Boringhieri$9(OLS)http://semarc/publisher/31556