Vérifier l’état de la commande

Accédez à une communauté d'amateurs de livres à travers le monde et bénéficiez d’une panoplie d'avantages. Créer un compte gratuitement

La Poste Autrichienne 5.49 € Service de messagerie GLS 4.99 € Coursier DPD 4.49 € Point DPD 3.49 €

Contact

Comment faire ses achats

Assistance

Mon compte

▸ Vide :-(

Martin Davis on Computability, Computational Logic, and Mathematical Foundations

EUGENIO G. OMODEO

Langue

Anglais

Livre Livre de poche

Code Libristo: 19534683

Éditeurs 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... Description détaillée

Code Libristo: 19534683

249 b

101.79 € TVA incluse

Stockage externe Expédition sous 5-8 jours

Livraison à Autriche

Jusqu'à 30 jours pour les retours

Les clients ont également acheté

Výcvik psa na procházkách - Šestitýdenní tréninkový plán Katrin Hagmannová

Livre de poche

9.59 €

Un instant sur la terre SEOHA LIM

Livre relié

15.79 €

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

Livre relié

20.99 €

Mais un peu de ta grâce DE PISIS

Livre de poche

7.29 €

La mélancolie de celui qui vise juste Lewis NORDAN

Livre relié

20.49 €

Śpiew morzycy Rolska Jagna

Livre de poche

8.89 €

Zeitaufwand für Verbesserungen in der Bauindustrie Kamyar Kabirifar

Livre de poche

55.90 €

Darth Vader. Star Wars Greg Pak

Livre relié

16.79 €

Die normative Relevanz der Speziesgrenze Johann S. Ach

Livre relié

79.00 €

HISTORIAS DE RAQUEROS SAIZ VIADERO

Livre de poche

6.89 €

Todo lo que no te dije Cortés Muriel

Livre de poche

15.89 €

ROBERT PLANEL: PRELUDE ET DANSE (OBOE AND PIANO) PLANEL Livre

binding.

25.19 €

Le Génie civil de l'armée romaine Coulon

Livre de poche

45.79 €

Cosquillas cerebrales CRAIG RICHARD

CD Audio

20.89 €

Chansonnier Theatral, Recueil Des Plus Jolies Romances, Duo, Couplets Ansaldi-J

Livre de poche

13.89 €

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

Livre de poche

5.59 €

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

Livre relié

19.95 €

Les Confins de la Science Et de la Philosophie. Edition 3, Tome 1 Ignace Carbonnelle

Livre de poche

22.59 €

Ich war selbst fast noch ein Kind Dorothe Reichling

Livre de poche

12.95 €

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

Livre de poche

15.99 €

Märchen Wilhelm Hauff

Livre relié

24.80 €

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

Livre de poche

63.09 €

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.