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

Jan von Plato

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

Forskningsoutput: Tidskriftsbidrag › Översiktsartikel › Peer review

Originalspråk	engelska
Tidskrift	Mathematical Intelligencer
Volym	40
Nummer	2
Sidor (från-till)	82-84
Antal sidor	3
ISSN	0343-6993
Status	Publicerad - 2018
MoE-publikationstyp	A2 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

@article{36bdf232948b4c819aeba86362fb2465,

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

keywords = "111 Mathematics",

author = "{von Plato}, Jan",

note = "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.",

year = "2018",

language = "English",

volume = "40",

pages = "82--84",

journal = "Mathematical Intelligencer",

issn = "0343-6993",

publisher = "SPRINGER NEW YORK LLC",

number = "2",

}

TY - JOUR

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

AU - von Plato, Jan

N1 - 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.

PY - 2018

Y1 - 2018

KW - 111 Mathematics

M3 - Review Article

VL - 40

SP - 82

EP - 84

JO - Mathematical Intelligencer

JF - Mathematical Intelligencer

SN - 0343-6993

IS - 2

ER -