«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 dura
Libro Methods of Cut-Elimination Alexander Leitsch
Código Libristo: 02065390
Editores Springer, enero 2011
This book offers a thorough, rigorous analysis of reductive cut-elimination methods and an in-depth... Descripción completa
? points 289 b
118.19 €
Almacenamiento externo en pequeñas cantidades Envío en 13-18 días

Hasta 30 días para devoluciones

Clientes que también han comprado

Svišť / Juego/Juguete Juguete
common.buy 5.79 €
Fotbaláci 6 - Záhada začarovaného hradu Roberto Santiago / Libro Tapa dura
common.buy 15.79 €
Lizzie Siddal. Il volto dei Preraffaelliti Lucinda Hawksley / Libro Tapa blanda
common.buy 32.79 €
Estrategias de reproducao social na agricultura familiar Michele Assunç?o / Libro Tapa blanda
common.buy 54.09 €
Despertar del olvido: El decisivo papel de las mujeres espa?olas en las Indias Lola Higueras / Libro Tapa blanda
common.buy 37.59 €
Video Services - EP3 - Enfants, personnes âgées : gestes et techniques de soins Doceo/Agora / Video DVD
common.buy 51.99 €
Les Chevaliers du ciel Tanguy et Laverdure - Tome 9 - Tanguy VS Laverdure Buendia Patrice / Libro Tapa dura
common.buy 20.59 €
Popular
Špalíček výletů Města a městečka Petr David / Libro Tapa dura
common.buy 17.49 €
Discours Contenant Une Notice Sur La Vie de Gerard Tenque: Fondateur de l'Ordre Des Hospitaliers Ollivier-J / Libro Tapa blanda
common.buy 13.89 €
Studio Beseda Miloslav Klíma / Libro Tapa blanda
common.buy 7.59 €
Solare Technologien fur Gebaude Ursula Eicker / Libro Tapa dura
common.buy 51.79 €

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 Alexander Leitsch, Matthias Baaz
Idioma Inglés
Encuadernación Libro - Tapa dura
Fecha de publicación 2011
Número de páginas 290
EAN 9789400703193
ISBN 9400703198
Código Libristo 02065390
Editores Springer
Peso 568
Dimensiones 159 x 239 x 24

Categorías

Matemáticas y ciencias > Matemáticas > Fundamentos matemáticos > Lógica matemática
Computación e informática > Programación informática/desarrollo de software > Lenguajes de programación y extensión/scripting: general
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

Bioethics Critically Reconsidered H.T . Engelhardt / Libro Tapa blanda
common.buy 112.79 €
Ideas Pertaining to a Pure Phenomenology and to a Phenomenological Philosophy Edmund Husserl / Libro Tapa blanda
common.buy 362.19 €
Intermezzo Sally Rooney / Libro Tapa dura
common.buy 21.29 €
Justifying Ballistic Missile Defence Columba Peoples / Libro Tapa dura
common.buy 86.79 €
Malaysia: A Country Profile Federal Research Division / Libro Tapa blanda
common.buy 21.89 €
I Wish Nancy Guettier / Libro Tapa blanda
common.buy 8.79 €
Machine Gods Michael G Thomas / Libro Tapa blanda
common.buy 17.69 €
Environmental Change Rosemary Charles / Libro Tapa dura
common.buy 134.79 €
Qabalistic Tarot Book ROBERT WANG / Artículos impresos Tarjetas
common.buy 25.89 €
Handbook of Heating, Ventilation, and Air Conditioning Jan F. Kreider / Libro Tapa blanda
common.buy 103.09 €
KS2 Maths, English and Science SATs Practice Papers Collins KS2 / Libro Tapa blanda
common.buy 16.19 €
Little Kids First Board Book African Animals National Geographic Kids / Libro Libro de concertinas
common.buy 7.79 €

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?