In Memory of Martin Davis
Calvert, Wesley
•
Harizanov, Valentina
•
Omodeo, Eugenio
altro
Shlapentokh, Alexandra
2024
Periodico
NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY
Abstract
This is a memorial tribute to the distinguished scholar Martin Davis, who gave outstanding contributions to the development of computability theory and of symbolic logic
DOI
Archivio
Diritti
open access
license:copyright editore
license:digital rights management non definito
license uri:iris.pri02
license uri:iris.pri00
FVG url
Soggetti