Gå direkte til innholdet
Saved from the Cellar
Spar

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.
Undertittel
Gerhard Gentzen’s Shorthand Notes on Logic and Foundations of Mathematics
Forfatter
Jan von Plato
Opplag
Softcover reprint of the original 1st ed. 2017
ISBN
9783319825021
Språk
Engelsk
Vekt
310 gram
Utgivelsesdato
17.7.2018
Antall sider
315