Tallenna
Saved from the Cellar
Kirjailija:
nidottu, 2018
englanti
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.
- Alaotsikko
- Gerhard Gentzen’s Shorthand Notes on Logic and Foundations of Mathematics
- Kirjailija
- Jan von Plato
- Painos
- Softcover reprint of the original 1st ed. 2017
- ISBN
- 9783319825021
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 17.7.2018
- Kustantaja
- Springer International Publishing AG
- Sivumäärä
- 315
