کتاب زبان اصلی Martin Davis on Computability Computational Logic and Mathematica   کتاب Martin Davis on Computability Computational Logic and Mathematical Foundations Outstanding Contributions to Logic 10 اثر Eugenio G Omodeo و Alberto Policriti یک کتاب مطالعاتی است که به بحث در مورد تحلیل محاسباتی منطق حسابی و پایه های ریاضی می پردازد این کتاب توسط انتشارات Springer در سال 2019 منتشر شده است و به نظر می رسد که این کتاب موفقیت زیادی را به دست آورده است نویسنده این کتاب Martin Davis نیز کتابهای موفق دیگری را نیز نوشته است مانند Computability and Unsolvability McGrawHill 1958 و Computability Enumerability Unsolvability Directions in Recursion Theory Academic Press 1975