Pastāsti draugiem par šo preci:
Martin Davis on Computability, Computational Logic, and Mathematical Foundations - Outstanding Contributions to Logic Eugenio G. Omodeo Softcover reprint of the original 1st ed. 2016 edition
Martin Davis on Computability, Computational Logic, and Mathematical Foundations - Outstanding Contributions to Logic
Eugenio G. Omodeo
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.
438 pages, 2 Illustrations, color; 25 Illustrations, black and white; XXVII, 438 p. 27 illus., 2 ill
| Mediji | Grāmatas Paperback Book (Grāmata ar mīksto vāku un līmēto muguru) |
| Izlaists | 2018. gada 3. maijs |
| ISBN13 | 9783319824437 |
| Izdevēji | Springer International Publishing AG |
| Lapas | 438 |
| Izmēri | 234 × 157 × 33 mm · 720 g |
| Valoda | Vācu |
| Redaktors | Omodeo, Eugenio G. |
| Redaktors | Policriti, Alberto |
Vairāk no tā paša izdevēja
Skatīt visus Eugenio G. Omodeo ( piem., Paperback Book un Hardcover Book )