Martin Davis on Computability, Computational Logic, and Mathematical Foundations - Outstanding Contributions to Logic -  - Böcker - Springer International Publishing AG - 9783319418414 - 9 februari 2017
Om omslag och titel inte matchar är det titeln som gäller

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:

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