Martin Davis on Computability, Computational Logic, and Mathematical Foundations
Häftad, Engelska, 2018
1 369 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.
This book presents a set of historical recollections on the work of Martin Davis and his role in advancing our understanding of the connections between logic, computing, and unsolvability.
Produktinformation
- Utgivningsdatum2018-05-03
- Mått155 x 235 x 33 mm
- Vikt720 g
- FormatHäftad
- SpråkEngelska
- SerieOutstanding Contributions to Logic
- Antal sidor438
- FörlagSpringer International Publishing AG
- ISBN9783319824437