Marknadens största urval
Snabb leverans

Saved from the Cellar

- Gerhard Gentzen's Shorthand Notes on Logic and Foundations of Mathematics

Om Saved from the Cellar

Gerhard Gentzen is best known for his development of the proof systems of natural deduction and sequent calculus, central in many areas of logic and computer science today.

Visa mer
  • Språk:
  • Engelska
  • ISBN:
  • 9783319825021
  • Format:
  • Häftad
  • Sidor:
  • 315
  • Utgiven:
  • 17. juli 2018
  • Utgåva:
  • 12017
  • Mått:
  • 155x235x0 mm.
  • Vikt:
  • 507 g.
  Fri leverans
Leveranstid: 2-4 veckor
Förväntad leverans: 16. december 2024

Beskrivning av Saved from the Cellar

Gerhard Gentzen is best known for his development of the proof systems of natural deduction and sequent calculus, central in many areas of logic and computer science today.

Användarnas betyg av Saved from the Cellar



Hitta liknande böcker
Boken Saved from the Cellar finns i följande kategorier:

Gör som tusentals andra bokälskare

Prenumerera på vårt nyhetsbrev för att få fantastiska erbjudanden och inspiration för din nästa läsning.