Basic Proof Theory
de A S Troelstra
Ejemplares disponibles
Basic Proof Theory
de A. S. Troelstra
- Estado
- New
- Encuadernación
- Paperback / softback
- ISBN
- 9780521779111
- Cantidad disponible
- 1
- Librería
-
Southport, Merseyside, GBR
- Precio
-
EUR 61.60
Mostrar detalles
Descripción:
Paperback / softback. New. This is an introduction to the basic ideas of structural proof theory. For the new edition, many sections have been rewritten to improve clarity, new sections have been added on cut elimination, and solutions to selected exercises have been included. Precio
EUR 61.60
Basic Proof Theory (Cambridge Tracts in Theoretical Computer Science, Series Number 43)
de Troelstra, A. S.
- Estado
- Usado - Good
- Encuadernación
- Hardcover
- ISBN
- 9780521572231
- Cantidad disponible
- 1
- Librería
-
Newport Coast, California, USA
- Precio
-
EUR 107.66
Mostrar detalles
Descripción:
hardcover. Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book. Precio
EUR 107.66
Basic Proof Theory (Cambridge Tracts in Theoretical Computer Science, Series Number 43)
de Troelstra, A. S.
- Estado
- Usado - Good
- Encuadernación
- Paperback
- ISBN
- 9780521779111
- Cantidad disponible
- 1
- Librería
-
Newport Coast, California, USA
- Precio
-
EUR 85.84
Mostrar detalles
Descripción:
paperback. Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book. Precio
EUR 85.84