Martin Davis on Computability, Computational Logic, and Mathematical Foundations (Bog, Paperback / softback, Engelsk)
  1. Forside
  2. Bøger
  3. Engelske bøger
  4. Matematisk logik
  5. Filosofi: logik
  6. Matematikkens fundament
  7. Martin Davis on Computability, Computational Logic, and...

Martin Davis on Computability, Computational Logic, and Mathematical Foundations

(Bog, Paperback / softback, Engelsk)
Forlag: Springer International Publishing AG

Bemærk: Kan ikke leveres før jul.

Når du handler på WilliamDam.dk, betaler du den pris du ser.

  • Ingen gebyrer
  • Ingen abonnementer
  • Ingen bindingsperioder

Relaterede kategorier

Filosofi: logik Matematikkens fundament Matematisk logik
  = Emner / kategorier
  = Sektioner / guides
  = Specialsider
  = Kampagner

Beskrivelse

This book presents a set of historical recollections on the work of Martin Davis and his role in advancing our understanding of the connections between logic, computing, and unsolvability.

Læsernes anmeldelser (0)

Alle detaljer

Forlag Springer International Publishing AG
Type Bog
Format Paperback / softback
Sprog Engelsk
Udgave Softcover reprint of the original 1st ed. 2016
Udgivelsesdato 03-05-2018
Første udgivelsesår 2018
Serie Outstanding Contributions to Logic
Illustrationer 2 Illustrations, color; 25 Illustrations, black and white; XXVII, 438 p. 27 illus., 2 illus. in color.
Fagredaktør Eugenio G. Omodeo, Alberto Policriti
Originalsprog Switzerland
Sideantal 438
Indbinding Paperback / softback
Forlag Springer International Publishing AG
Sideoplysninger 438 pages, 2 Illustrations, color; 25 Illustrations, black and white; XXVII, 438 p. 27 illus., 2 ill
Mål 157 x 234 x 33
ISBN-13 / EAN-13 9783319824437