
@book{book_11639,
title = {Hilbert's tenth problem},
author = {Yuri Matiyasevich and Martin Davis and Hilary Putnam},
publisher = {MIT Press},
isbn = {0262132958,9780262132954,9780585355009},
year = {1993},
series = {Foundations of computing},
edition = {},
volume = {},
url = {http://gen.lib.rus.ec/book/index.php?md5=edd0d03265a79c82e980e48aa73fffbc},
date-added = {2025-6-10 7:12:52 +0100}
}
@book{book_11639,
title = {Hilbert's tenth problem},
author = {Yuri Matiyasevich and Martin Davis and Hilary Putnam},
publisher = {MIT Press},
isbn = {0262132958,9780262132954,9780585355009},
year = {1993},
series = {Foundations of computing},
edition = {},
volume = {},
url = {http://gen.lib.rus.ec/book/index.php?md5=edd0d03265a79c82e980e48aa73fffbc},
date-added = {2025-6-10 7:12:52 +0100}
}