| Record ID | marc_records_scriblio_net/part23.dat:116690140:825 |
| Source | Scriblio |
| Download Link | /show-records/marc_records_scriblio_net/part23.dat:116690140:825?format=raw |
LEADER: 00825cam 2200253 a 4500
001 93028107 //r93
003 DLC
005 19931119102017.3
008 930616s1993 mau b 001 0 eng
010 $a 93028107 //r93
020 $a0262132958
040 $aDLC$cDLC$dDLC
041 1 $aeng$hrus
050 00 $aQA242$b.M4213 1993
082 00 $a512/.7$220
100 1 $aMatii︠a︡sevich, I︠U︡. V.$q(I︠U︡riĭ V.)
240 10 $aDesi︠a︡tai︠a︡ problema Gilʹberta.$lEnglish
245 10 $aHilbert's tenth problem /$cYuri V. Matiyasevich ; with a foreword by Martin Davis.
260 $aCambridge, Mass. :$bMIT Press,$cc1993.
300 $axxii, 264 p. ;$c24 cm.
440 0 $aFoundations of computing
504 $aIncludes bibliographical references and indexes.
650 0 $aHilbert's tenth problem.
650 0 $aComputable functions.