Saved from the cellar: gerhard gentzen’s shorthand notes on logic and foundations of mathematics
Auteur :
von Plato, Jan
Éditeur :
Springer International Publishing AG
ISBN :
9783319825021
Date de publication :
17 juil. 2018
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Suisse
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.