01261nam0 2200289 i 450 VAN005420520240123101420.714978-04-86614-71-720061016d1982 |0itac50 baengUS|||| |||||Computability and unsolvabilityMartin DavisNew YorkDover1982XXV, 248 p.ill.21 cm001VAN00235662001 Dover books on advanced mathematics210 New YorkDover03-XXMathematical logic and foundations [MSC 2020]VANC019750MF03DxxComputability and recursion theory [MSC 2020]VANC024386MFUSNew YorkVANL000011DavisMartinVANV043140478481Dover <editore>VANV108158650ITSOL20240126RICAVAN0054205BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 03-XX 1038 08 1987 I a 20061016 BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 03-XX 1038 08VS 4459 I b 20061016 Computability and unsolvability1425155UNICAMPANIA