Martin Davis on Computability, Computational Logic, and Mathematical Foundations
Eugenio G. Omodeo, Alberto Policriti
Martin Davis on Computability, Computational Logic, and Mathematical Foundations - Springer Springer 2016
9783319418421
EBOOK
Martin Davis on Computability, Computational Logic, and Mathematical Foundations - Springer Springer 2016
9783319418421
EBOOK
