000 01080nam a2200277 a 4500
001 251946
999 _c251946
_d251946
003 TH-BaBU
005 20250302081307.0
008 930616s1996 mau b 001 0 eng d
020 _a9780262132954
020 _a9780262279253 (electronic bk.)
040 _aDLC
_cTH-BaBU
041 1 _aeng
_hrus
050 0 0 _aQA242
_b.M4213 1996
100 1 _aMatii︠a︡sevich, I︠U︡. V.
_q(I︠U︡riĭ V.)
_9156851
240 1 0 _aDesi︠a︡tai︠a︡ problema Gilʹberta.
_lEnglish
_h[electronic resource]
245 1 0 _aHilbert's tenth problem
_h[electronic resource] /
_cYuri V. Matiyasevich ; with a foreword by Martin Davis.
260 _aCambridge, Mass. :
_bMIT Press,
_c1996.
300 _a1 online resource.
490 0 _aFoundations of computing
504 _aIncludes bibliographical references and indexes.
650 0 _aHilbert's tenth problem.
_9156852
650 0 _aComputable functions.
_940073
856 4 1 _uhttp://search.ebscohost.com/login.aspx?direct=true&db=nlebk&AN=48768&site=ehost-live&scope=site
_zElectronic Resources
942 _2lcc
_cEB