01176nam2-2200361li-450 99000012132020331620180312154646.00012132USA010012132(ALEPH)000012132USA01001213220001109d1958----km-y0itay0103----baengUSComputability and unsolvabilityMartin DavisNew YorkMcGraw-Hill1958XXV, 210 p.23 cmMcGraw-Hill series in information processing and computers0scheda incompleta (prestito)00100121332001McGraw-Hill series in information processing and computers5113Logica simbolica (Logica matematica)Davis,Martin D.745778Sistema bibliotecario di Ateneo dell' Università di SalernoRICA990000121320203316511.3 DAV (B)0005422BKSCI1991061920001110USA01171120020403USA011619PATRY9020040406USA011609Computability and unsolvability1489474UNISA