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

Proofs and Computations

Idioma InglésInglés
Libro Tapa dura
Libro Proofs and Computations Helmut (Ludwig-Maximilians-Universitat Munchen) Schwichtenberg
Código Libristo: 04449225
Editores Cambridge University Press, diciembre 2011
Driven by the question, 'What is the computational content of a (formal) proof?', this book studies... Descripción completa
? points 262 b
107.19 €
Almacenamiento externo Envío en 14-21 días

Hasta 30 días para devoluciones

Clientes que también han comprado

Próximamente
Benni Bärenstark. Band 4 eyo / Libro Tapa dura
common.buy 14.19 €
Die Sammlung Emmerig des Bezirks Oberpfalz Maya Brückl / Libro Tapa blanda
common.buy 22.89 €
Le Paris des Merveilles - vol. 02/2 / Libro Tapa dura
common.buy 20.09 €
En un tour de main Jo Witek / Libro Tapa blanda
common.buy 12.89 €
DÓNDE UNO CAE LORENZO SILVA / Libro Tapa dura
common.buy 25.59 €
El telescopio de Schopenhauer Donovan / Libro Tapa blanda
common.buy 19.39 €
LA PRIMAVERA DE LOS ARABES Cyrille Pomès / Libro Tapa blanda
common.buy 21.59 €

Driven by the question, 'What is the computational content of a (formal) proof?', this book studies fundamental interactions between proof theory and computability. It provides a unique self-contained text for advanced students and researchers in mathematical logic and computer science. Part I covers basic proof theory, computability and Gödel's theorems. Part II studies and classifies provable recursion in classical systems, from fragments of Peano arithmetic up to

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 Proofs and Computations
Autor Helmut (Ludwig-Maximilians-Universitat Munchen) Schwichtenberg, Stanley S. (University of Leeds) Wainer
Idioma Inglés
Encuadernación Libro - Tapa dura
Fecha de publicación 2011
Número de páginas 480
EAN 9780521517690
ISBN 0521517699
Código Libristo 04449225
Editores Cambridge University Press
Peso 884
Dimensiones 233 x 158 x 29

Categorías

Matemáticas y ciencias > Matemáticas > Fundamentos matemáticos > Lógica matemática
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

Mentalities of Gorillas and Orangutans H. Lyn Miles / Libro Tapa dura
common.buy 173.89 €
Smart and Agile Cybersecurity for IoT and IIoT Environments Qasem Abu Al-Haija / Libro Tapa dura
common.buy 271.29 €
Integrating Generative AI in Education to Achieve Sustainable Development Goals Ruchi Doshi / Libro Tapa dura
common.buy 251.89 €
Everything I Need to Know I Learned from E.T. the Extra-Terrestrial NBC Universal / Libro electrónico Adobe ePub DRM
common.buy 11.99 €
Mother's World Fjabi World / Libro Tapa blanda
common.buy 10.69 €
In the Crucible: Tales from Real Life (1909) Isabel Cecilia Williams / Libro Tapa blanda
common.buy 25.89 €
Where The Flowers Grow: A Poetry Collection Sienna B Otero / Libro Tapa blanda
common.buy 12.59 €
Routledge Companion to Animal-Human History Hilda Kean / Libro Tapa dura
common.buy 418.79 €
American Economic History: 2014 Edition Richard E Carmichael Ph D / Libro Tapa blanda
common.buy 15.39 €
Blood Underground: Book One: Thavs Terence Jackson / Libro Tapa blanda
common.buy 9.79 €
Reassessing Egalitarianism J. Moss / Libro Tapa blanda
common.buy 58.29 €
THE COMPLETE PAINTING AND DRAWING HANDB Simon Tuite / Libro Tapa dura
common.buy 43.09 €
Mindful Aesthetics Chris Danta / Libro Tapa dura
common.buy 201.99 €
The: Grand Haven Area: 1860-1960 Wallace Ewing / Libro Tapa blanda
common.buy 21.89 €
Three New Deals Wolfgang Schivelbusch / Libro Tapa blanda
common.buy 16.49 €
Atlas of Vascular & Endovascular Surgical Techniques M. Ashraf Mansour / Libro Tapa dura
common.buy 296.39 €
White Hot-True Blue Richard J Alapack / Libro Tapa blanda
common.buy 20.09 €
Over the Sea and Far Away, Being a Narrative of Wanderings Round the World. with Illustrations. Thomas Woodbine Hinchliff / Libro Tapa blanda
common.buy 30.29 €

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?