01463nam0 2200301 i 450 SUN005420520180604120155.519978-04-86614-71-70.0020061016d1982 |0engc50 baengUS|||| |||||Computability and unsolvabilityMartin DavisNew YorkDover1982XXV, 248 p.ill.21 cm.001SUN00235662001 Dover books on advanced mathematics210 New YorkDover.03-XXMathematical logic and foundations [MSC 2020]MFSUNC01975003DxxComputability and recursion theory [MSC 2020]MFSUNC024386USNew YorkSUNL000011Davis, MartinSUNV043140478481DoverSUNV000279650ITSOL20200720RICAhttp://books.google.it/books?id=TMLgEIOGhBMC&printsec=frontcover&dq=Computability+and+Unsolvability&hl=en&sa=X&ei=ccbzUKCiHYmE4AS6noCYCg&ved=0CCsQ6AEwAAAnteprimaSUN0054205UFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 03-XX 1038 08 1987 I a 20061016 UFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 03-XX 1038 08VS 4459 I b 20061016 Computability and unsolvability1425155UNICAMPANIA