«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.

Gentzen's Centenary

The Quest for Consistency

Idioma InglésInglés
Libro Tapa blanda
Libro Gentzen's Centenary Reinhard Kahle
Código Libristo: 05267073
Editores Springer International Publishing AG, noviembre 2015
This work comprises articles by leading proof-theorists attesting to Gentzen's enduring legacy in ma... Descripción completa
? points 433 b
176.99 €
Almacenamiento externo Envío en 10-18 días

Hasta 30 días para devoluciones

Clientes que también han comprado

Nonlinear Potential Theory and Weighted Sobolev Spaces Bengt O. Turesson / Libro Tapa blanda
common.buy 43.09 €
Dictionnaire étymologique, historique et comparé du français de Louisiane Kevin J. Rottet / Libro Tapa dura
common.buy 261.29 €
A Contextual Approach to Human Development Girishwar Misra / Libro Tapa dura
common.buy 215.89 €
Les liaisons dangereuses Choderlos de Laclos / Libro Tapa dura
common.buy 48.69 €
Rockstars Fausto Gilberti / Libro Tapa blanda
common.buy 30.09 €
Sociální pouto v éře virtuality Gérard Dubey / Libro Tapa blanda
common.buy 1.89 €
L'Hermeneutique: Source d'Interpretation Biblique Joubert Michel / Libro Tapa blanda
common.buy 24.79 €
Neue Gedichte Georg Herwegh / Libro Tapa blanda
common.buy 25.69 €
Gender Im Blick Karin Gludovatz / Libro Tapa dura
common.buy 81.09 €
Mord am Leuchtturm, 3 Audio-CDs Klaus-Peter Wolf / Audio CD de audio
common.buy 23.89 €
Mein Kuschel-Fühlbuch - Lieblingstiere, Stoffbilderbuch Francesca Ferri / Juego/Juguete Juguete
common.buy 9.59 €
Correspondance Generale de La Beaumelle Hubert Angliviel de La Beaumelle / Libro Tapa dura
common.buy 203.99 €

This work comprises articles by leading proof-theorists attesting to Gentzen's enduring legacy in mathematical logic and beyond. The contributions range from philosophical reflections and re-evaluations of Gentzen's original consistency proofs to most recent developments in proof theory. Gentzen founded modern proof theory. His subsequent calculus and natural deduction system beautifully explain the deep symmetries of logic. They underlie modern developments in computer science such as automated theorem proving and type theory.

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 Gentzen's Centenary
Autor Reinhard Kahle, Michael Rathjen
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 2015
Número de páginas 561
EAN 9783319101026
ISBN 3319101021
Código Libristo 05267073
Editores Springer International Publishing AG
Peso 866
Dimensiones 155 x 30 x 30

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

Entropy, Search, Complexity Imre Csiszar / Libro Tapa dura
common.buy 118.29 €
Learn-At-Home: Explore Math Bundle Grade 6: 4-Book Set Multiple Authors / Juego/Juguete Juego
common.buy 56.99 €
Stink and the Great Guinea Pig Express Peter H. Reynolds / Libro Tapa blanda
common.buy 5.79 €
Academy Governance Checklists Gillian Allcroft / Libro Tapa blanda
common.buy 57.39 €
Black Circles: LiFe Katlyn Lipomi / Libro Tapa blanda
common.buy 12.59 €
Jetta: The Calling Series (Book 2) Deana Zhollis / Libro Tapa blanda
common.buy 15.39 €
Last Flight Gregory P. Liefer / Libro Tapa dura
common.buy 21.79 €
Destiny Mari Alegre / Libro Tapa blanda
common.buy 18.99 €
Solving Irregularly Structured Problems in Parallel Afonso Ferreira / Libro Tapa blanda
common.buy 56.59 €
Elements of Photonics - In Free Space Media V 1 Keigo Iizuka / Libro Tapa dura
common.buy 246.79 €
Knit the Alphabet Claire Garland / Libro Tapa blanda
common.buy 18.89 €
Popular
One Piece, Vol. 3 Eiichiro Oda / Libro Tapa blanda
common.buy 10.49 €
W. Axl Rose Mick Wall / Libro Tapa blanda
common.buy 24.89 €

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?