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.

CERES and Fast Cut-Elimination

Name: CERES and Fast Cut-Elimination
Brand: VDM Verlag
SKU: 06839891
Price: 52.79 EUR
Availability: InStock
Author: Mikheil Rukhaia
ISBN: 9783639332025

Mikheil Rukhaia

Idioma

Inglés

Libro Tapa blanda

Código Libristo: 06839891

Editores VDM Verlag, febrero 2011

Gentzen's cut-elimination theorem is one of the most important theorems of logic. Removing cuts from... Descripción completa

Código Libristo: 06839891

129 b

52.79 €

Por encargo a la editorial Envío en 17-27 días

Hasta 30 días para devoluciones

Clientes que también han comprado

Grammaire Francaise A l'Usage Des Eleves Du Sacre-Coeur Des Chartreux DRAVIGNY-M

Tapa blanda

21.09 €

emozioni raccontate da orsi, rondini e farfalle. Il libro da colorare Edoardo Vigna

Tapa dura

12.29 €

Recenti progressi nell'uso delle leghe in ortodonzia N. JAYADIPAK SINGH

Tapa blanda

67.79 €

Digitale Medien Zwischen Transparenz Und Manipulation Regina Maria Wallner

Tapa blanda

68.69 €

5 saisons chez-vous Franck Giovannini

Tapa dura

90.39 €

Estructura de la sanidad pública en Kerala (2007-16)

Tapa blanda

35.50 €

DERIVEES, LIMITES - TERMINALES ES, L Alain piller

Libro

7.89 €

La tentation nihiliste suivi de Le cimetière de la morale Jaccard

Libro

16.69 €

The Inspectors - Der Tod kommt mit der Post, 1 Blu-ray Brad Turner

Blu-ray

16.79 €

El espiritu del hombre Ana Mendez-Ferrell

Tapa blanda

16.89 €

Praxisbuch für Tierheilpraktiker Kristina Vormwald

binding.

98.29 €

Arbeitsbuch, m. Audio-CDs Barbara Gottstein-Schramm

Tapa blanda

23.99 €

Mathematik-Übungen - Ausgabe 2006 Horst Erdmann

Hoja

13.69 €

chirurgische Behandlung der Gallensteinkrankheit Kehr Hans Kehr

Tapa blanda

21.69 €

Avaliacao da Estrategia Saude da Familia na capital potiguar Melo Cynthia De Freitas

Tapa blanda

73.69 €

Armee Chinoise: l'Armee Ancienne, l'Armee Nouvelle, l'Armee Chinoise Dans l'Avenir Frey-H

Tapa blanda

19.49 €

Neurophysiologie und Psychophysik des Visuellen Systems / The Visual System: Neurophysiology and Psychophysics Richard Jung

Tapa blanda

58.19 €

NS-Rassenhygiene Heiko Suhr

Tapa blanda

18.80 €

Notker der Deutsche und seine Aufzeichnung des Althochdeutschen Toralf Schrader

Tapa blanda

15.89 €

Gentzen's cut-elimination theorem is one of the most important theorems of logic. Removing cuts from formal proofs corresponds to the elimination of intermediary lemmas from mathematical proofs. It is well known that cut-elimination is of nonelementary complexity in general. Aim of this book is to identify classes, where cut-elimination is elementary, i.e fast. The first part describes basic notions of logic, such as sequent calculus, resolution calculus and two methods of cut-elimination, such as Gentzen's method and the CERES method. It is proved that CERES method nonelementary speeds up Gentzen's method and in the second part CERES will be used as a tool to identify fast classes and prove elementary cut-elimination on them. This book is self-contained and written in easy way, so no preliminary knowledge is required and all people interested in logic and proof theory can read it.