Name: Proof Theory (en Inglés)
SKU: 62069729
Price: 53.39 USD
Availability: InStock
Author: Herman Ruge Jervell
ISBN: 9783832533038

Selecciona tu país

América

Europa

Resto del mundo

Formato

Libro Físico

Editorial

Logos Verlag

Autor

Herman Ruge Jervell

Idioma

Inglés

N° páginas

129

Encuadernación

Tapa Blanda

ISBN13

9783832533038

Proof Theory (en Inglés)

Herman Ruge Jervell (Autor) · Logos Verlag · Tapa Blanda

Libro Nuevo Importado

Envío: 20 a 28 días háb.

$ 97.07$ 53.39

-45%

Costos de importación incluídos en el precio ✅

Libro Nuevo

Quedan 2 unidades

$ 53.39

Llega entre el 28 Sep y el 13 Oct a Quito, Pichincha. Seleccionar ubicación

Agregar a lista de deseos

Reseña del libro "Proof Theory (en Inglés)"

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.