Martin Davis on Computability, Computational Logic, and Mathematical Foundations

MLA

Omodeo, Eugenio G.; Policriti, Alberto, and Alberto Policriti. Martin Davis On Computability, Computational Logic, and Mathematical Foundations. Springer International Publishing, 2016.

APA

Omodeo, A., & Policriti, A. (2016). Martin Davis on Computability, Computational Logic, and Mathematical Foundations. Springer International Publishing.

Chicago

Omodeo, Eugenio G.; Policriti, Alberto, and Alberto Policriti. Martin Davis On Computability, Computational Logic, and Mathematical Foundations. : Springer International Publishing, 2016.