Yuri V. Matiyasevich. Hilbert's tenth problem. English translation of Desyataya problema Gil'berta, with a foreword by Martin Davis. Foundations of computing. The MIT Press, Cambridge, Mass., and London, 1993, xxii + 264 pp
Saved in:
Published in: | The Journal of symbolic logic 1997-06, Vol.62 (2), p.675-677 |
---|---|
Main Author: | |
Format: | Article |
Language: | eng |
Online Access: | Get full text |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Summary: | |
---|---|
ISSN: | 0022-4812 1943-5886 |