Gå direkt till innehållet
Saved from the Cellar
Spara

Saved from the Cellar

Lägsta pris på PriceRunner
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.
Undertitel
Gerhard Gentzen’s Shorthand Notes on Logic and Foundations of Mathematics
Författare
Jan von Plato
Upplaga
Softcover reprint of the original 1st ed. 2017
ISBN
9783319825021
Språk
Engelska
Vikt
310 gram
Utgivningsdatum
2018-07-17
Sidor
315