Martin Davis on Computability, Computational Logic, and Mathematical Foundations

Format:: e-book
Title:: Martin Davis on Computability, Computational Logic, and Mathematical Foundations
Author:: Omodeo, Eugenio G.; Policriti, Alberto; Policriti, Alberto
Language:: English
Publisher:: Springer International Publishing 2016
ISBN:: 3-319-41841-6
3-319-41842-4
Permalink:: http://bibtest.howest.be/catalog/ebk03:3710000001045325?locale=en