Martin Davis (1958), Computability & Unsolvability, McGraw-Hill Book Company, Inc. New York.
مارتین دیویس (1958), Computability & Unsolvability, McGraw-Hill Book Company, Inc. New York.