The Collected Works of Julia Robinson

Gathers together all 25 of the published works of Julia Bowman Robinson spanning a period of more than 30 years. Except for two early publications, all these papers serve as contributions to the theory of effectively calculable functions and especially to its applications. Of note is Robinson's proof of the effective unsolvability of the decision problem for the rational number field and her work that provided the central step toward the negative solution of Hilbert's Tenth Problem. Includes a short biographical memoir by the editor. Annotation c. by Book News, Inc., Portland, Or.