Saved from the Cellar: Gerhard Gentzens Shorthand Notes on Logic and Foundations of Mathematics

Saved from the Cellar: Gerhard Gentzens Shorthand Notes on Logic and Foundations of Mathematics 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. Autor: Jan von Plato Wydawnictwo: Springer Rok wydania: 2018 Okładka: miękka Liczba stron: 315 Wymiary: 23.5 x 15.5 cm Ilustracje: 9 Illustrations, black and white Język: angielski ISBN: 9783319825021