Livrare gratuită pentru comenzile peste 349,00 lei.

Verifică starea comenzii

Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit

Transport gratuit la punctele de livrare Pick Up peste 349.00 lei

Packeta 15.00 lei Serviciul de curierat Cargus 28.00 lei Easybox 20.00 lei FAN Courier 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier Sameday 24.00 lei Curier DPD 25.00 lei

Contact

Cum să cumpăr

Ajutor

Contul meu

▸ Gol :-(

Livrare gratuită pentru comenzile peste 349,00 lei.

Martin Davis on Computability, Computational Logic, and Mathematical Foundations

EUGENIO G. OMODEO

Limba

engleză

Carte Carte broșată

Codul Libristo: 19534683

Editura Springer International Publishing AG, mai 2018

This book presents a set of historical recollections on the work of Martin Davis and his role in adv... Descrierea completă

Codul Libristo: 19534683

263 b

569.51 lei

În depozitul extern Expediem în 5-8 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

Kampf um die Herrschaft des Rechts in den internationalen Beziehungen - Dag Hammarskjoelds Vermachtnis Erich Kussbach

Copertă tare

110.96 lei

Making Radical Disciples - Participant - Tamil Edition: A Manual to Facilitate Training Disciples in House Churches, Small Groups, and Discipleship Gr Daniel B Lancaster

Carte broșată

37.05 lei

Ich war selbst fast noch ein Kind Dorothe Reichling

Carte broșată

72.65 lei

Tableaux Anciens Et Modernes de Diverses Ecoles, Sa Majeste Guillaume II (Ed.1850) W Willems

Carte broșată

106.17 lei

La mélancolie de celui qui vise juste Lewis NORDAN

Copertă tare

133.13 lei

Todo lo que no te dije Cortés Muriel

Carte broșată

93.16 lei

Un instant sur la terre SEOHA LIM

Copertă tare

102.53 lei

World of Warcraft Nové příchutě Azerothu Chelsea Monroe Cassel

Copertă tare

118.14 lei

Terminologie (II): Comparaisons, Transferts, (In)Traductions Jean-Jacques Briu

Carte broșată

352.46 lei

Zeitaufwand für Verbesserungen in der Bauindustrie Kamyar Kabirifar

Carte broșată

276.78 lei

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. The individual contributions touch on most of the core aspects of Davis' work and set it in a contemporary context. They analyse, discuss and develop many of the ideas and concepts that Davis put forward, including such issues as contemporary satisfiability solvers, essential unification, quantum computing and generalisations of Hilbert's tenth problem. The book starts out with a scientific autobiography by Davis, and ends with his responses to comments included in the contributions. In addition, it includes two previously unpublished original historical papers in which Davis and Putnam investigate the decidable and the undecidable side of Logic, as well as a full bibliography of Davis' work. As a whole, this book shows how Davis' scientific work lies at the intersection of computability, theoretical computer science, foundations of mathematics, and philosophy, and draws its unifying vision from his deep involvement in Logic.