De Aller-Bedste Bøger - over 12 mio. danske og engelske bøger
Levering: 1 - 2 hverdage

Saved from the Cellar

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

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

Vis mere
  • Sprog:
  • Engelsk
  • ISBN:
  • 9783319421193
  • Indbinding:
  • Hardback
  • Sideantal:
  • 315
  • Udgivet:
  • 7. april 2017
  • Udgave:
  • 12017
  • Størrelse:
  • 155x235x0 mm.
  • Vægt:
  • 6151 g.
  • 8-11 hverdage.
  • 3. december 2024
På lager

Normalpris

Abonnementspris

- Rabat på køb af fysiske bøger
- 1 valgfrit digitalt ugeblad
- 20 timers lytning og læsning
- Adgang til 70.000+ titler
- Ingen binding

Abonnementet koster 75 kr./md.
Ingen binding og kan opsiges når som helst.

Beskrivelse af 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.

Brugerbedømmelser af Saved from the Cellar



Find lignende bøger
Bogen Saved from the Cellar findes i følgende kategorier: