Faites connaître cet article à vos amis:
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 1st ed. 2017 edition
Jan Von Plato
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 1st ed. 2017 edition
Jan Von Plato
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.
358 pages, 9 black & white illustrations, biography
Médias | Livres Hardcover Book (Livre avec dos et couverture rigide) |
Validé | 7 avril 2017 |
ISBN13 | 9783319421193 |
Éditeurs | Springer International Publishing AG |
Pages | 315 |
Dimensions | 155 × 235 × 19 mm · 680 g |
Langue et grammaire | German |
Afficher tout
Plus par Jan Von Plato
Voir tous les Jan Von Plato ( par ex. Hardcover Book et Paperback Book )