«Comprobar estado del pedido»
LIBRISTO
LIBROAMANTO
obligatorio
Contraseña olvidada
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
0
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 €
phone Contacto phoneCómo comprar
Envío gratis a partir de 69,99 euros.

Methods of Cut-Elimination

Idioma InglésInglés
Libro Tapa blanda
Libro Methods of Cut-Elimination Matthias Baaz
Código Libristo: 01979707
Editores Springer Netherlands, noviembre 2012
This book offers a thorough, rigorous analysis of reductive cut-elimination methods and an in-depth... Descripción completa
? points 276 b
112.79 €
Almacenamiento externo Envío en 5-8 días

Hasta 30 días para devoluciones

Clientes que también han comprado

Los días y las noches en la casa grande Juan Martín-Mora Haba / Libro Tapa blanda
common.buy 15.89 €
Gendersensible Gestaltung des neuen Studiengangs "BWL - Digitale Wirtschaft" an der Beuth Hochschule für Technik Berlin Martina Brandt / Libro Hoja
common.buy 10.89 €
Ideologische Durchdringung der Universitat im Nationalsozialismus. Der Kriegseinsatz der Deutschen Geisteswissenschaften Nejla Demirkaya / Libro Tapa blanda
common.buy 17.89 €
vergessene Zimmer Manfred Liebrecht / Libro Tapa blanda
common.buy 7.99 €
La Biblioth?que du gilet jaune: De la col?re ? la conscience; de la révolte ? la révolution Tsarafine Mohamed-Oumbia / Libro Tapa blanda
common.buy 9.29 €
Les métamorphoses de Virgile - réception de la figure de l'auctor, Antiquité, Moyen âge, temps modernes / Libro Tapa blanda
common.buy 83.19 €
Essere e analogia Vincenzo Cicero / Libro Tapa blanda
common.buy 21.19 €
Magie Josef Veselý / Libro Hoja
common.buy 19.19 €

This book offers a thorough, rigorous analysis of reductive cut-elimination methods and an in-depth presentation of the recent method CERES developed by the authors. It includes several applications of CERES and an extension of CERES to non-classical logics.

Actriz & Políglota
EWA KASP para
Visualizar el vídeo
Ewa Kasp
Libristo tiene la oferta más extensa de literatura en idiomas extranjeros. Por eso compran aquí sus libros.

Sobre el libro

Nombre y apellidos Methods of Cut-Elimination
Autor Matthias Baaz, Alexander Leitsch
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 2013
Número de páginas 290
EAN 9789400734975
ISBN 9400734972
Código Libristo 01979707
Editores Springer Netherlands
Peso 419
Dimensiones 158 x 14 x 15

Categorías

Matemáticas y ciencias > Matemáticas > Fundamentos matemáticos > Lógica matemática
Computación e informática > Ciencias de la computación > Teoría matemática de la computación
Regale este libro hoy
Es fácil
1 Añadir al carrito y elegir Entregar como regalo en el checkout 2 Le enviaremos un vale 3 El libro llegará a la dirección del destinatario

También puede interesarle

Politics and Development in the Caribbean Basin J Grugel / Libro Tapa blanda
common.buy 66.29 €
The Raven Cipher Madison Carter / Libro Tapa blanda
common.buy 13.59 €
Proceedings of the 9th International Conference on Computational Science and Technology Rayner Alfred / Libro Tapa blanda
common.buy 394.19 €
Quiet Play ACTIVITY CRUSADES / Libro Tapa blanda
common.buy 12.69 €
The Cold Eye Laura Anne Gilman / Libro Tapa blanda
common.buy 14.29 €
Bessie's Fortune Mary Jane Holmes / Libro Tapa dura
common.buy 40.69 €
Arab Contemporary: Architecture & Identity Poul Erik Tojner / Libro Tapa blanda
common.buy 39.49 €
Turkey Telecom Laws and Regulations Handbook - Strategic Information and Regulations Inc IBP / Libro Tapa blanda
common.buy 90.39 €
Metabolic Syndrome Research Trends Thomas E Batone / Libro Tapa dura
common.buy 267.19 €
Pathway of Peace/ Cistercian Wisdom according to Saint Bernard Charles Dumont / Libro Tapa blanda
common.buy 27.09 €
National Curriculum English Practice Book for Year 1 Scholastic / Libro Tapa blanda
common.buy 10.49 €
Catholicism Today Evyatar Marienberg / Libro Tapa blanda
common.buy 92.69 €

Inicio de sesión

Inicie sesión en su cuenta. ¿No tiene una cuenta Libristo? ¡Cree una ahora!

 
obligatorio
obligatorio
Contraseña olvidada

¿No tiene cuenta? Descubra las ventajas de tener una cuenta Libristo.

Si tiene una cuenta Libristo, lo tendrá todo bajo control.

Crear una cuenta Libristo
Asesor de libros Libroamiko
Hola, soy Libroamiko, ¿puedo ayudarte?