Martin Davis on Computability, Computational Logic, and Mathematical Foundations by E. Omodeo and A. Policriti (eds.) [Book review]

Forskningsoutput: TidskriftsbidragÖversiktsartikelVetenskapligPeer review

Originalspråkengelska
TidskriftMathematical Intelligencer
Volym40
Utgåva2
Sidor (från-till)82-84
Antal sidor3
ISSN0343-6993
StatusPublicerad - 2018
MoE-publikationstypA2 Granska artikel i en vetenskaplig tidskrift

Bibliografisk information

Book review. Reviewed book:
Martin Davis on Computability, Computational Logic, and Mathematical Foundations by E. Omodeo and A. Policriti (eds.). Springer, 2016. ISBN 978-3-319-41841-4. Outstanding Contributions to Logic, 10. ISSN 2211-2758.

Vetenskapsgrenar

  • 111 Matematik

Citera det här