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

Computability

von: Eugenio G. Omodeo · Alberto Policriti

Taschenbuch

ISBN: 978-3-319-82443-7

ISBN-10: 3-319-82443-0

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