Ebooks d'Eugenio G. Omodeo en PDF et EPUB

1 Livre(s)
Télécharger le livre : Martin Davis on Computability, Computational Logic, and Mathematical Foundations
Ajouter à ma liste d'envies
Martin Davis on Computability, Computational Logic, and Mathematical Foundations
Eugenio G. Omodeo , Alberto Policriti
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...

Editeur : Springer
Parution : 2017-01-27
Collection : Outstanding Contributions to Logic
PDF, ePub

94,94 €