Saved from the Cellar: Gerhard Gentzen's Shorthand Notes on Logic and Foundations of Mathematics (Sources and Studies in the History of Mathematics and Physical Sciences)

New
Hardcover
2017
$173.83

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.

Synopsis

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.

$173.83

Quantity

20+ in stock

More Information

Format: Hardcover
Pages: 328
Edition: 1st ed. 2017
Publisher: Springer
Published: 07 Apr 2017
ISBN 10: 3319421190
ISBN 13: 9783319421193

Saved from the Cellar: Gerhard Gentzen's Shorthand Notes on Logic and Foundations of Mathematics (Sources and Studies in the History of Mathematics and Physical Sciences)

New

$173.83

Synopsis

$173.83

More Information