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