01821nam0 2200373 i 450 VAN005270820240208030950.53902-621-3295-8978-02-621-3295-420060919d1993 |0itac50 baengGB|||| |||||Hilbert's tenth problemYuri V. Matiyasevichwith a foreword by Martin DavisCambridgeLondonMIT1993XXII, 264 p.24 cm001VAN00520742001 Foundations of computing210 CambridgeLondonMITVAN0079472Desjataja problema Gilʹberta387296068-XXComputer science [MSC 2020]VANC019670MF03DxxComputability and recursion theory [MSC 2020]VANC024386MF03D35Undecidability and degrees of sets of sentences [MSC 2020]VANC024436MF11UxxConnections of number theory and logic [MSC 2020]VANC024437MFUSCambridge <Mass.>VANL000513MatiiasevichIurii V.VANV041554726477DavisMartinVANV043140MIT <editore>VANV111700650Matiyasevich, Yuri V.Matiiasevich, Iurii V.VANV041555ITSOL20240209RICAhttps://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-CE0120VAN08VAN0052708BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 03-XX 2628 08 4386 I 20060919 Desjataja problema Gilʹberta3872960UNICAMPANIA