Martin Davis on Computability, Computational Logic, and Mathematical Foundations - Outstanding Contributions to Logic -  - Books - Springer International Publishing AG - 9783319418414 - February 9, 2017
In case cover and title do not match, the title is correct

Martin Davis on Computability, Computational Logic, and Mathematical Foundations - Outstanding Contributions to Logic 1st ed. 2016 edition

Price
$ 146.49
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jul 8 - 14
Add to your iMusic wish list

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 Books     Hardcover Book   (Book with hard spine and cover)
Released February 9, 2017
ISBN13 9783319418414
Publishers Springer International Publishing AG
Pages 438
Dimensions 155 × 235 × 25 mm   ·   825 g
Language French  
Editor Omodeo, Eugenio G.
Editor Policriti, Alberto

Mere med samme udgiver