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

Tutkimustuotos: ArtikkelijulkaisuKatsausartikkeliTieteellinenvertaisarvioitu

Alkuperäiskielienglanti
LehtiMathematical Intelligencer
Vuosikerta40
Numero2
Sivut82-84
Sivumäärä3
ISSN0343-6993
TilaJulkaistu - 2018
OKM-julkaisutyyppiA2 Katsausartikkeli tieteellisessä aikakauslehdessä

Lisätietoja

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.

Tieteenalat

  • 111 Matematiikka

Siteeraa tätä