Please use this identifier to cite or link to this item:
192.168.6.56/handle/123456789/76314| Title: | Martin Davis on Computability, Computational Logic, and Mathematical Foundations |
| Authors: | G. Omodeo, Eugenio Eugenio G. Omodeo and Alberto Policriti E |
| Keywords: | Mathematical Foundations |
| Issue Date: | 2016 |
| Publisher: | Springer |
| Description: | This book will testify to this influence by focusing on scientific achievements in which Martin was involved in the first person and on further achievements, studies, and reflections in which work and vision consonant with his have played a role. Our task has been to collect testimonies of Martin’s contributions to computability, computational logic, and mathematical foundations. |
| URI: | http://10.6.20.12:80/handle/123456789/76314 |
| ISBN: | 978-3-319-41842-1 |
| Appears in Collections: | History |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| 93.pdf.pdf | 6.18 MB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.