Please use this identifier to cite or link to this item:
192.168.6.56/handle/123456789/76314Full metadata record
| DC Field | Value | Language |
|---|---|---|
| dc.contributor.author | G. Omodeo, Eugenio | - |
| dc.contributor.editor | Eugenio G. Omodeo and Alberto Policriti E | en_US |
| dc.date.accessioned | 2019-07-23T08:58:37Z | - |
| dc.date.available | 2019-07-23T08:58:37Z | - |
| dc.date.issued | 2016 | - |
| dc.identifier.isbn | 978-3-319-41842-1 | - |
| dc.identifier.uri | http://10.6.20.12:80/handle/123456789/76314 | - |
| dc.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. | en_US |
| dc.language | English | en_US |
| dc.language.iso | en | en_US |
| dc.publisher | Springer | en_US |
| dc.subject | Mathematical Foundations | en_US |
| dc.title | Martin Davis on Computability, Computational Logic, and Mathematical Foundations | en_US |
| dc.type | Book | en_US |
| 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.