The Legacy of Kurt Schutte (Bog, Hardback, Engelsk)
  1. Forside
  2. Bøger
  3. Engelske bøger
  4. Matematisk logik
  5. Filosofi: logik
  6. Matematikkens fundament
  7. Matematisk datateori
  8. The Legacy of Kurt Schutte

The Legacy of Kurt Schutte

(Bog, Hardback, Engelsk)
Forlag: Springer Nature Switzerland 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 datateori Matematisk logik
  = Emner / kategorier
  = Sektioner / guides
  = Specialsider
  = Kampagner

Beskrivelse

This book on proof theory centers around the legacy of Kurt Schütte and its current impact on the subject. Schütte inaugurated the important paradigm shift from finite proofs to infinite proofs and developed the mathematical tools for their analysis.

Læsernes anmeldelser (0)

Alle detaljer

Forlag Springer Nature Switzerland AG
Type Bog
Format Hardback
Sprog Engelsk
Udgave 2020 ed.
Udgivelsesdato 11-08-2020
Første udgivelsesår 2020
Illustrationer 2 Illustrations, black and white; XIX, 502 p. 2 illus.
Fagredaktør Reinhard Kahle, Michael Rathjen
Originalsprog Switzerland
Sideantal 502
Indbinding Hardback
Forlag Springer Nature Switzerland AG
Sideoplysninger 502 pages, 2 Illustrations, black and white; XIX, 502 p. 2 illus.
Mål 235 x 155
ISBN-13 / EAN-13 9783030494230