Knygos.lt nariams
62,38 €
-15%
Įprastai
73,39 €
Proof Theory
Knygos.lt nariams
62,38 €
-15%
Įprastai
73,39 €
- Išsiųsime per 12–18 d.d.
In proof theory we investigate the objects used for computations and arguments in computer science and mathematics. Our starting point is the classical analysis given by Gerhard Gentzen in the 1930s. We develop this further using a new theory of ordinal notation and connecting this with combinatorics on finite trees.
/images/books/13369664/9783832533038.jpg)
- Autorius: Herman Ruge Jervell
- Leidėjas: Logos Verlag Berlin
- ISBN-10: 3832533036
- ISBN-13: 9783832533038
- Formatas: 0 x 0 x 0 cm, minkšti viršeliai
- Kalba: Anglų
Atsiliepimai
Aprašymas
In proof theory we investigate the objects used for computations and arguments in computer science and mathematics. Our starting point is the classical analysis given by Gerhard Gentzen in the 1930s. We develop this further using a new theory of ordinal notation and connecting this with combinatorics on finite trees.
Knygos.lt nariams
62,38 €
-15%
Įprastai
73,39 €
Išsiųsime per 12–18 d.d.
- Autorius: Herman Ruge Jervell
- Leidėjas: Logos Verlag Berlin
- ISBN-10: 3832533036
- ISBN-13: 9783832533038
- Formatas: 0 x 0 x 0 cm, minkšti viršeliai
- Kalba: Anglų
In proof theory we investigate the objects used for computations and arguments in computer science and mathematics. Our starting point is the classical analysis given by Gerhard Gentzen in the 1930s. We develop this further using a new theory of ordinal notation and connecting this with combinatorics on finite trees.
Atsiliepimai