01356nam0 2200337 i 450 VAN005503020240126103717.967978-88-339-0309-520061101d1974 |0itac50 baitaIT|||| |||||ˆLa ‰prova di GodelErnest Nagel e James R. NewmanTorinoP. Boringhieri1974108 p.ill.19 cmTrad. L. Bianchi001VAN00230442001 Universale scientifica210 TorinoBoringhieri102VAN0079549Godel's proof2120903-XXMathematical logic and foundations [MSC 2020]VANC019750MFTorinoVANL000001NagelErnestVANV04353212057NewmanJames R.VANV04353326295BianchiLuigi1856-1928VANV024240Boringhieri <editore>VANV108699650Bianchi, Luigi <matematico>Bianchi, Luigi <1856-1928>VANV059220ITSOL20240202RICABIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08VAN0055030BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 03-XX 2970 08 1265 I 20061101 Godel's proof21209UNICAMPANIA