×

Hilbert’s tenth problem. With a foreword by Martin Davis. (English) Zbl 0790.03008

MIT Press Series in the Foundations of Computing. Cambridge, MA: MIT Press. xxii, 264 p. $ 60.75 /hc (1993).
See the review of the Russian original below (Zbl 0790.03009).

MSC:

03B25 Decidability of theories and sets of sentences
11U05 Decidability (number-theoretic aspects)
11-02 Research exposition (monographs, survey articles) pertaining to number theory
03-02 Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations
12L05 Decidability and field theory
11D99 Diophantine equations

Citations:

Zbl 0790.03009
PDFBibTeX XMLCite