Martin Davis on Computability, Computational Logic, and Mathematical Foundations

Type:

e-book

Titel:

Martin Davis on Computability, Computational Logic, and Mathematical Foundations

Auteur:

Omodeo, Eugenio G.; Policriti, Alberto; Policriti, Alberto

Taal:

Engels

Uitgever:

Springer International Publishing 2016

ISBN:

3-319-41841-6
3-319-41842-4

Permalink:

http://bibtest.howest.be/catalog/ebk03:3710000001045325