Bemærk: Kan ikke leveres før jul.
Forventes på lager: 07-04-2017
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.
| Forlag | Springer International Publishing AG |
| Forfatter | Jan von Plato |
| Type | Bog |
| Format | Hardback |
| Sprog | Engelsk |
| Udgave | 1st ed. 2017 |
| Udgivelsesdato | 07-04-2017 |
| Første udgivelsesår | 2017 |
| Serie | Sources and Studies in the History of Mathematics and Physical Sciences |
| Illustrationer | 9 Illustrations, black and white |
| Originalsprog | Switzerland |
| Sideantal | 315 |
| Indbinding | Hardback |
| Forlag | Springer International Publishing AG |
| Sideoplysninger | 315 pages, 9 Illustrations, black and white |
| Mål | 235 x 155 |
| ISBN-13 / EAN-13 | 9783319421193 |