Martin Davis on Computability, Computational Logic, and Mathematical Foundations (Outstanding Contributions to Logic, Band 10)

Contributions

von: Eugenio G. Omodeo · Alberto Policriti

Gebunden

ISBN-13: 978-3-319-41841-4

ISBN-10: 3-319-41841-6

Springer · 2017
Siehe auch:
2018TaschenbuchMartin Davis on Computability, Computational Logic, and Mathematical Foundations (Outstanding Contributions to Logic, Band 10)