Envío gratis a partir de 69,99 euros.

«Comprobar estado del pedido»

Entre a formar parte de una comunidad de amantes de los libros del mundo entero y acceda a un sinfín de ventajas. Crear una cuenta gratis

Envío gratuito con Zásilkovna para compras superiores a 59.99 €

Mensajería SEUR 4.99 € Mensajería GLS 7.99 € Mensajería Correos 5.49 € Mensajería DHL 5.49 € Punto SEUR 3.99 €

Contacto

Cómo comprar

Ayuda

Mi cuenta

▸ Vacío :-(

Envío gratis a partir de 69,99 euros.

Structural Proof Theory

Name: Structural Proof Theory
Brand: Cambridge University Press
SKU: 02043527
Price: 137.89 EUR
Availability: InStock
Author: Professor Sara Negri
ISBN: 9780521793070

Professor Sara Negri

Jan von Plato

Idioma

Inglés

Libro Tapa dura

Código Libristo: 02043527

Editores Cambridge University Press, junio 2001

Structural proof theory is a branch of logic that studies the general structure and properties of lo... Descripción completa

Código Libristo: 02043527

337 b

137.89 €

Almacenamiento externo Envío en 9-15 días

Política de devolución de 30 días

Clientes que también han comprado

El matrimonio amateur Anne Tyler

Tapa blanda

11.39 €

My Lovely Daisy. My Beloved Monster. Tom 2 Marta Łabęcka

Tapa blanda

11.39 €

1491 (Espaces Libres - Histoire) Charles C. Mann

Tapa blanda

20.59 €

Demenz in Theologie und Seelsorge Lena-Katharina Roy

Tapa dura

189.69 €

Le handicap dans notre imaginaire culturel GARDOU CHARLES

Tapa blanda

34.69 €

Irezumi

DVD

24.49 €

La Belle Histoire du père Noël Ivan Gantschev

Tapa blanda

16.09 €

Coloriages mystères Les grands classiques Disney Disney

Tapa blanda

21.69 €

Droga do rzeczywistości Roger Penrose

Tapa dura

31.49 €

#Römertopf Dirk Bey

Tapa blanda

9.59 €

ARCHER & ARMSTRONG 1 (EDICION DE LUJO) FRED VAN LENTE

Tapa dura

14.89 €

Sauerländer BBCrew Dutch Oven Tim Ziegeweidt

Tapa dura

9.59 €

Vodácký zpěvník 2

Tapa blanda

4.19 €

Handelbarkeit Von Risiken Tilo Dresig

Tapa blanda

63.39 €

Structural proof theory is a branch of logic that studies the general structure and properties of logical and mathematical proofs. This book is both a concise introduction to the central results and methods of structural proof theory, and a work of research that will be of interest to specialists. The book is designed to be used by students of philosophy, mathematics and computer science. The book contains a wealth of results on proof-theoretical systems, including extensions of such systems from logic to mathematics, and on the connection between the two main forms of structural proof theory - natural deduction and sequent calculus. The authors emphasize the computational content of logical results. A special feature of the volume is a computerized system for developing proofs interactively, downloadable from the web and regularly updated.