Tipsa dina vänner om produkten:
Martin Davis on Computability, Computational Logic, and Mathematical Foundations - Outstanding Contributions to Logic 1st ed. 2016 edition
Pris
SEK 1.469
Beställningsvara
Förväntad leverans 7 - 15 jan 2026
Julklappar kan bytas fram till 31:e januari
Lägg till din iMusic-önskelista
eller
Finns även som:
Martin Davis on Computability, Computational Logic, and Mathematical Foundations - Outstanding Contributions to Logic
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.
446 pages, 25 black & white illustrations, 2 colour illustrations, biography
| Media | Böcker Inbunden Bok (Inbunden bok med hårda pärmar och skyddsomslag) |
| Releasedatum | 9 februari 2017 |
| ISBN13 | 9783319418414 |
| Utgivare | Springer International Publishing AG |
| Antal sidor | 438 |
| Mått | 155 × 235 × 25 mm · 825 g |
| Språk | Franska |
| Redaktör | Omodeo, Eugenio G. |
| Redaktör | Policriti, Alberto |