Thad Meyer, 16 Feb 2017 Book Announcement: Martin Davis on Computability, Computational Logic, and Mathematical Foundations ... Book Announcement…