found: His Computability & unsolvability, 1958.
found: His Computability, complexity, and languages, 1983:CIP t.p. (Martin D. Davis, Courant Inst. of Math. Sci., New York Univ.)
found: wwnorton.com Web site, Jan. 25, 2001(Promo. for The universal computer: Martin Davis's other books include Computability and unsolvability; professor emeritus, New York University; currently a visiting scholar at the University of California, Berkeley)
found: Information from 678 converted Dec. 17, 2014(Ph.D. from Princeton)
