01824nam0 2200373 i 450 VAN0005270820240806100501.2202-621-3295-8978-02-621-3295-420060919d1993 |0itac50 baengGB|||| |||||Hilbert's tenth problemYuri V. Matiyasevichwith a foreword by Martin DavisCambridgeLondonMIT1993XXII, 264 p.24 cm001VAN000520742001 Foundations of computing210 CambridgeLondonMITVAN00079472Desjataja problema Gilʹberta387296003D35Undecidability and degrees of sets of sentences [MSC 2020]VANC024436MF03DxxComputability and recursion theory [MSC 2020]VANC024386MF11UxxConnections of number theory and logic [MSC 2020]VANC024437MF68-XXComputer science [MSC 2020]VANC019670MFUSCambridge <Mass.>VANL000513MatiiasevichIurii V.VANV041554726477DavisMartinVANV043140MIT <editore>VANV111700650Matiyasevich, Yuri V.Matiiasevich, Iurii V.VANV041555ITSOL20240906RICAhttps://books.google.it/books?id=42h5VRwG5rcC&printsec=frontcover&dq=Hilbert%27s+tenth+problem+Matiyasevich&hl=it&sa=X&ved=0ahUKEwid5euf0MLWAhVLXBQKHUreC6EQ6AEIKTAA#v=onepage&q&f=falsePreviewBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08VAN00052708BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 03-XX 2628 08 4386 I 20060919 Desjataja problema Gilʹberta3872960UNICAMPANIA