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

Implementing Mathematics with The Nuprl Proof Development System

Idioma InglésInglés
Libro Tapa blanda
Libro Implementing Mathematics with The Nuprl Proof Development System R L Constable
Código Libristo: 17068327
Editores Createspace Independent Publishing Platform, enero 2012
Four goals of the book: Offer a tutorial on mathematical ideas which underlie our research Serve as...
? points 33 b
13.49 €
Almacenamiento externo Envío en 9-15 días

Hasta 30 días para devoluciones

Clientes que también han comprado

Servidor William Rodriguez / Libro Tapa blanda
common.buy 9.79 €
Estrategias de Sistemas OBD-2 Mandy Concepcion / Libro Tapa blanda
common.buy 29.49 €
Boszorkánykirály Martha Wells / Libro Tapa dura
common.buy 14.29 €
Zao wou-ki les estampes (1937-1974) <<<<< Libro Libro
common.buy 33.39 €
A BRUXA SELANA XABIER DOMINGUEZ / Libro Tapa dura
common.buy 15.89 €
Reflexzonenarbeit am Fuß Hanne Marquardt / Libro Tapa dura
common.buy 36.39 €
Heimerziehung als Teil des Handlungsfeldes Kinder- und Jugendhilfe. Geschichte, Struktur und erforderliche Kompetenzen der Fachkräfte Jessica Johnsen / Libro Tapa blanda
common.buy 17.89 €
Maigret als möblierter Herr Walter Kreye / Audio CD de audio
common.buy 19.99 €
bonae fidei possessio oder das Recht des Besitzes Friedrich Wilhelm Tigerstrom / Libro Tapa dura
common.buy 119.29 €
Erritas agridulces Jose Prats Sariol / Libro Tapa blanda
common.buy 14.59 €
Bob Dylan Live 1975: Bootleg Series Vol.5 Bob Dylan / Audio CD de audio
common.buy 22.69 €
Anthropologie des Apostels Paulus Hermann Lüdemann / Libro Tapa blanda
common.buy 21.79 €
Torwege zum Jetzt, 1 Audio-CD Eckhart Tolle / Audio CD de audio
common.buy 16.49 €
Überfallkommando Edgar Wallace / Libro Tapa blanda
common.buy 8.09 €
Auf Dem Weg Zur Biomachtigen Gesellschaft? Achim Bühl / Libro Tapa blanda
common.buy 85.89 €

Four goals of the book: Offer a tutorial on mathematical ideas which underlie our research Serve as a manual for users of the Nuprl system Give an overview of the project for those interested in applications of the results and fo

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 Implementing Mathematics with The Nuprl Proof Development System
Autor R L Constable
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 2012
Número de páginas 310
EAN 9781468059106
ISBN 1468059106
Código Libristo 17068327
Editores Createspace Independent Publishing Platform
Peso 417
Dimensiones 152 x 229 x 17

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

Slope Stability and Erosion Control: Ecotechnological Solutions Joanne E. Norris / Libro Tapa dura
common.buy 181.49 €
Grant's Heat Victoria Blue / Libro Tapa blanda
common.buy 16.29 €
Chemistry Concepts Coloring Book Lauren Mccarthy / Libro Tapa blanda
common.buy 13.59 €
New Introduction to Trade and Business; Very Useful for the Youth of Both Sexes. Wherein Is Contained Great Variety of Receipts for Money, Promissory Peter Hudson / Libro Tapa dura
common.buy 31.79 €
The Navy Blue Angels: In Action - A Regional View Delores Witkowski / Libro Tapa blanda
common.buy 16.09 €
Public Opinion In War And Peace Abbott Lawrence Lowell / Libro Tapa dura
common.buy 47.49 €
The Book of The Garden Richard Wehrman / Libro Tapa blanda
common.buy 15.39 €
Ominous Whoosh: A Wandering Mind Returns to Twin Peaks John Thorne / Libro Tapa blanda
common.buy 21.99 €
Folk Horror Dawn Keetley / Libro Tapa blanda
common.buy 38.29 €
Get Funded: An Insider's Guide to Building An Academic Research Program Robert J. Trew / Libro Tapa dura
common.buy 87.69 €
Explosive Percolation in Random Networks Wei Chen / Libro Tapa blanda
common.buy 118.29 €
Dress and Cultural Identity in the Rhine-Moselle Region of the Roman Empire Ursula Rothe / Libro Tapa blanda
common.buy 85.79 €
Fundamental Feminism Judith Grant / Libro Tapa dura
common.buy 215.89 €
Way Ahead 6 Grammar Practice R. Holt / Libro Tapa blanda
common.buy 9.79 €
History Of The War Of The Independence Of The United States Of America V2 (1845) Charles Botta / Libro Tapa blanda
common.buy 41.59 €
Music is My Mistress Lisa Williamson / Libro Tapa blanda
common.buy 17.19 €
Sacred Power of Huna Rima A. Morrell / Libro Tapa blanda
common.buy 19.39 €
Eight Keys to an Extraordinary Board-Superintendent Partnership Doug Eadie / Libro Tapa blanda
common.buy 61.69 €
Receptor Signal Transduction Protocols Gary B. Willars / Libro Tapa dura
common.buy 118.29 €
Handbook of Cost Management 2e Roman L. Weil / Libro Tapa dura
common.buy 174.19 €
Introduction To Differential Equations, An: Stochastic Modeling, Methods And Analysis (Volume 2) Anil G Lade / Libro Tapa blanda
common.buy 85.09 €
Power of the Universe Lies Within You Pradipta Kumar Das / Libro Tapa dura
common.buy 26.09 €
Confederate Military History General Clement a. Evans / Libro Tapa dura
common.buy 43.09 €
Nothing Sticks Like a Shadow Ann Tompert / Libro Tapa blanda
common.buy 8.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?