Utvidet returrett til 31. januar 2025

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.

Vis mer
  • Språk:
  • Engelsk
  • ISBN:
  • 9783319421193
  • Bindende:
  • Hardback
  • Sider:
  • 315
  • Utgitt:
  • 7. april 2017
  • Utgave:
  • 12017
  • Dimensjoner:
  • 155x235x0 mm.
  • Vekt:
  • 6151 g.
  • BLACK NOVEMBER
  Gratis frakt
Leveringstid: 2-4 uker
Forventet levering: 18. desember 2024

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

Brukervurderinger av Saved from the Cellar



Finn lignende bøker
Boken Saved from the Cellar finnes i følgende kategorier:

Gjør som tusenvis av andre bokelskere

Abonner på vårt nyhetsbrev og få rabatter og inspirasjon til din neste leseopplevelse.