Normal view
MARC view
Davis, Martin, 1928-2023 (Nomi di persona)
Used for/see from:
- Davis, M.
- Davis, Martin D.
- Devis, M.
Alan M. Turing / Sara Turing. - Cambridge, 2012. pr.
Computability & unsolvability / Martin Davis. - New York, 1982.
Engines of logic / Martin Davis. - New York, ©2000.