We a good story
Quick delivery in the UK

Saved from the Cellar

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

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

Show more
  • Language:
  • English
  • ISBN:
  • 9783319825021
  • Binding:
  • Paperback
  • Pages:
  • 315
  • Published:
  • July 16, 2018
  • Edition:
  • 12017
  • Dimensions:
  • 155x235x0 mm.
  • Weight:
  • 507 g.
Delivery: 1-2 weeks
Expected delivery: December 11, 2024

Description of 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.

User ratings of Saved from the Cellar



Find similar books
The book Saved from the Cellar can be found in the following categories:

Join thousands of book lovers

Sign up to our newsletter and receive discounts and inspiration for your next reading experience.