Große Auswahl an günstigen Büchern
Schnelle Lieferung per Post und DHL

Saved from the Cellar

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

Über 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.

Mehr anzeigen
  • Sprache:
  • Englisch
  • ISBN:
  • 9783319825021
  • Einband:
  • Taschenbuch
  • Seitenzahl:
  • 315
  • Veröffentlicht:
  • 17. Juli 2018
  • Ausgabe:
  • 12017
  • Abmessungen:
  • 155x235x0 mm.
  • Gewicht:
  • 507 g.
  Versandkostenfrei
  Sofort lieferbar

Beschreibung von 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.

Kund*innenbewertungen von Saved from the Cellar



Ähnliche Bücher finden
Das Buch Saved from the Cellar ist in den folgenden Kategorien erhältlich:

Willkommen bei den Tales Buchfreunden und -freundinnen

Jetzt zum Newsletter anmelden und tolle Angebote und Anregungen für Ihre nächste Lektüre erhalten.