01731nam0 2200301 i 450 VAN005510920240123091629.534978-08-218-1922-720061102d2000 |0itac50 baengUS|||| |||||Computability theory and its applicationscurrent trends and open problemsproceedings of a 1999 AMS-IMS-Siam joint summer research conference computability theory and applications, june 13-17, 1999, University of Colorado, BoulderPeter A. Cholak ... [et al.]ProvidenceAmerican Mathematical Society2000XVI, 320 p.26 cm001VAN00431842001 Contemporary mathematics210 ProvidenceAmerican Mathematical Society25703DxxComputability and recursion theory [MSC 2020]VANC024386MFUSProvidenceVANL000273CholakPeterVANV043627Proceedings of a 1999 AMS-IMS-Siam joint summer research conference computability theory and applications1999BoulderVANV043628726012American mathematical societyVANV108732650ITSOL20240126RICAhttps://books.google.it/books?id=LFUbCAAAQBAJ&printsec=frontcover&dq=9780821819227&hl=it&sa=X&ved=0ahUKEwjIuPrhkdPdAhWq4IUKHYt4BmYQ6AEIJzAA#v=onepage&q=9780821819227&f=falsePreviewBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08VAN0055109BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 03-XX 0782 08VS 4390 III 20061102 Computability theory and its applications1424881UNICAMPANIA