01214nam2-2200385li-450-99000022374020331620090420133123.00022374USA010022374(ALEPH)000022374USA0100223742001991061951958----y0itay0103----baengUSComputability and unsolvabilityMartin DavisNew YorkMcGraw-Hill1958XXV, 210 p.23 cmMcGraw-Hill series in information processing and computers2001McGraw-Hill series in information processing and computersLogica matematicaLogica simbolica511.3Davis,Martin D.745778Sistema bibliotecario di Ateneo dell' Università di SalernoRICA990000223740203316511.3 DAV (A)5962/CBS511.300216364BKSCI1991061920001110USA01171420020403USA011630PATRY9020040406USA011616RSIAV69020090420USA011331Computability and unsolvability1489474UNISA