Month: February 2017

Book Announcement: Martin Davis on Computability, Computational Logic, and Mathematical Foundations

ALP members Eugenio Omodeo and Alberto Policriti just finished editing abook titled “Martin Davis on Computability, Computational Logic, and Mathematical Foundations” in the Springer series “Outstanding Contributions to Logic”. The book is available at from which front and back matters…