Martin Davis on Computability, Computational Logic, and Mathematical Foundations
€ 143,90
Disponível para envio em 4/5 dias
Informação do Produto
| ISBN | 9783319824437 |
|---|---|
| Editora | Springer International Publishing AG |
| Preço (iva excl.) | € 135,75 |
| Imposto | € 8,15 |
| Preço (iva inc.) | € 143,90 |
| Disponibilidade | 1 unidade em armazém externo |
Descrição do Produto
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.