Verifică starea comenzii
LIBRISTO
LIBROAMANTO
obligatoriu
Parolă uitată
Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit
0
Transport gratuit la punctele de livrare Pick Up peste 349.00 lei
Packeta 15.00 lei Serviciul de curierat Cargus 28.00 lei Easybox 20.00 lei FAN Courier 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier Sameday 24.00 lei Curier DPD 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile peste 349,00 lei.

Implementing Mathematics with The Nuprl Proof Development System

Limba englezăengleză
Carte Carte broșată
Carte Implementing Mathematics with The Nuprl Proof Development System R L Constable
Codul Libristo: 17068327
Editura Createspace Independent Publishing Platform, ianuarie 2012
Four goals of the book: Offer a tutorial on mathematical ideas which underlie our research Serve as...
? points 33 b
71.35 lei
În depozitul extern Expediem în 9-15 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

Servidor William Rodriguez / Carte Carte broșată
common.buy 51.93 lei
Estrategias de Sistemas OBD-2 Mandy Concepcion / Carte Carte broșată
common.buy 155.90 lei
Boszorkánykirály Martha Wells / Carte Copertă tare
common.buy 70.10 lei
Zao wou-ki les estampes (1937-1974) <<<<< Carte Carte
common.buy 173.04 lei
A BRUXA SELANA XABIER DOMINGUEZ / Carte Copertă tare
common.buy 82.67 lei
Reflexzonenarbeit am Fuß Hanne Marquardt / Carte Copertă tare
common.buy 183.01 lei
Heimerziehung als Teil des Handlungsfeldes Kinder- und Jugendhilfe. Geschichte, Struktur und erforderliche Kompetenzen der Fachkräfte Jessica Johnsen / Carte Carte broșată
common.buy 89.53 lei
Maigret als möblierter Herr Walter Kreye / Audio Audio CD
common.buy 98.46 lei
bonae fidei possessio oder das Recht des Besitzes Friedrich Wilhelm Tigerstrom / Carte Copertă tare
common.buy 601.72 lei
Erritas agridulces Jose Prats Sariol / Carte Carte broșată
common.buy 77.17 lei
Bob Dylan Live 1975: Bootleg Series Vol.5 Bob Dylan / Audio Audio CD
common.buy 114.87 lei
Anthropologie des Apostels Paulus Hermann Lüdemann / Carte Carte broșată
common.buy 109.26 lei
Torwege zum Jetzt, 1 Audio-CD Eckhart Tolle / Audio Audio CD
common.buy 82.88 lei
Überfallkommando Edgar Wallace / Carte Carte broșată
common.buy 40.91 lei
Auf Dem Weg Zur Biomachtigen Gesellschaft? Achim Bühl / Carte Carte broșată
common.buy 431.99 lei

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

Actriță & Poliglotă
EWA KASP pentru
Redă videoclipul
Ewa Kasp
Libristo are cea mai mare selecție de literatură în limbi străine. De aceea îmi cumpăr cărțile de aici.

Informații despre carte

Titlu complet Implementing Mathematics with The Nuprl Proof Development System
Autor R L Constable
Limba engleză
Legare Carte - Carte broșată
Data publicării 2012
Număr pagini 310
EAN 9781468059106
ISBN 1468059106
Codul Libristo 17068327
Editura Createspace Independent Publishing Platform
Greutatea 417
Dimensiuni 152 x 229 x 17

Categorii

Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Ar putea de asemenea, să te intereseze

Slope Stability and Erosion Control: Ecotechnological Solutions Joanne E. Norris / Carte Copertă tare
common.buy 919.26 lei
Grant's Heat Victoria Blue / Carte Carte broșată
common.buy 81.94 lei
Chemistry Concepts Coloring Book Lauren Mccarthy / Carte Carte broșată
common.buy 71.77 lei
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 / Carte Copertă tare
common.buy 168.47 lei
The Navy Blue Angels: In Action - A Regional View Delores Witkowski / Carte Carte broșată
common.buy 85.48 lei
Public Opinion In War And Peace Abbott Lawrence Lowell / Carte Copertă tare
common.buy 251.36 lei
The Book of The Garden Richard Wehrman / Carte Carte broșată
common.buy 81.74 lei
Ominous Whoosh: A Wandering Mind Returns to Twin Peaks John Thorne / Carte Carte broșată
common.buy 116.33 lei
Folk Horror Dawn Keetley / Carte Carte broșată
common.buy 181.04 lei
Get Funded: An Insider's Guide to Building An Academic Research Program Robert J. Trew / Carte Copertă tare
common.buy 464.40 lei
Explosive Percolation in Random Networks Wei Chen / Carte Carte broșată
common.buy 599.44 lei
Dress and Cultural Identity in the Rhine-Moselle Region of the Roman Empire Ursula Rothe / Carte Carte broșată
common.buy 405.82 lei
Fundamental Feminism Judith Grant / Carte Copertă tare
common.buy 1 142.79 lei
Way Ahead 6 Grammar Practice R. Holt / Carte Carte broșată
common.buy 49.95 lei
History Of The War Of The Independence Of The United States Of America V2 (1845) Charles Botta / Carte Carte broșată
common.buy 220.20 lei
Music is My Mistress Lisa Williamson / Carte Carte broșată
common.buy 90.88 lei
Sacred Power of Huna Rima A. Morrell / Carte Carte broșată
common.buy 97.53 lei
Eight Keys to an Extraordinary Board-Superintendent Partnership Doug Eadie / Carte Carte broșată
common.buy 291.35 lei
Receptor Signal Transduction Protocols Gary B. Willars / Carte Copertă tare
common.buy 599.44 lei
Handbook of Cost Management 2e Roman L. Weil / Carte Copertă tare
common.buy 813.72 lei
Introduction To Differential Equations, An: Stochastic Modeling, Methods And Analysis (Volume 2) Anil G Lade / Carte Carte broșată
common.buy 450.79 lei
Power of the Universe Lies Within You Pradipta Kumar Das / Carte Copertă tare
common.buy 138.45 lei
Confederate Military History General Clement a. Evans / Carte Copertă tare
common.buy 228.40 lei
Nothing Sticks Like a Shadow Ann Tompert / Carte Carte broșată
common.buy 46.94 lei

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo
Consilier de cărți Libroamiko
Bună ziua, sunt Libroamiko, vă pot ajuta?