Έλεγχος κατάστασης παραγγελίας
LIBRISTO
LIBROAMANTO
υποχρεωτικό
Ξεχάσατε τον κωδικό πρόσβασης
Γίνετε μέλος μιας κοινότητας βιβλιόφιλων από όλο τον κόσμο και επωφεληθείτε από πολλά προνόμια. Δημιουργία δωρεάν λογαριασμού
0
Δωρεάν αποστολή με Box Now άνω των 69.99 €
DHL courier 9.99 € Σημείο Elta 3.99 € Elta 4.49 € ACS 4.99 € Box Now 3.99 € Σημείο ACS 3.99 €
phone Επικοινωνία phoneΠώς να κάνετε αγορές;

Implementing Mathematics with The Nuprl Proof Development System

Γλώσσα ΑγγλικήΑγγλική
Βιβλίο Χαρτόδετο
Βιβλίο Implementing Mathematics with The Nuprl Proof Development System R L Constable
Κωδικός Libristo: 17068327
ΕΕκδοτικός οίκος Createspace Independent Publishing Platform, Ιανουάριος 2012
Four goals of the book: Offer a tutorial on mathematical ideas which underlie our research Serve as...
? points 33 b
13.62 €
Σε εξωτερική αποθήκη Αποστέλλουμε σε 14-21 ημέρες
Ελλάδα Παράδοση στην Ελλάδα

Έως 30 ημέρες για επιστροφή

Οι πελάτες αγόρασαν επίσης

Estrategias de Sistemas OBD-2 Mandy Concepcion / Βιβλίο Χαρτόδετο
common.buy 29.76 €
Servidor William Rodriguez / Βιβλίο Χαρτόδετο
common.buy 9.88 €
Boszorkánykirály Martha Wells / Βιβλίο Σκληρόδετο
common.buy 13.31 €
Zao wou-ki les estampes (1937-1974) <<<<< Βιβλίο Βιβλίο
common.buy 33.09 €
A BRUXA SELANA XABIER DOMINGUEZ / Βιβλίο Σκληρόδετο
common.buy 14.93 €
Reflexzonenarbeit am Fuß Hanne Marquardt / Βιβλίο Σκληρόδετο
common.buy 33.09 €
Heimerziehung als Teil des Handlungsfeldes Kinder- und Jugendhilfe. Geschichte, Struktur und erforderliche Kompetenzen der Fachkräfte Jessica Johnsen / Βιβλίο Χαρτόδετο
common.buy 16.14 €
Maigret als möblierter Herr Walter Kreye / Audio Audio CD
common.buy 18.76 €
bonae fidei possessio oder das Recht des Besitzes Friedrich Wilhelm Tigerstrom / Βιβλίο Σκληρόδετο
common.buy 108.99 €
Erritas agridulces Jose Prats Sariol / Βιβλίο Χαρτόδετο
common.buy 14.73 €
Bob Dylan Live 1975: Bootleg Series Vol.5 Bob Dylan / Audio Audio CD
common.buy 20.88 €
Anthropologie des Apostels Paulus Hermann Lüdemann / Βιβλίο Χαρτόδετο
common.buy 19.67 €
Torwege zum Jetzt, 1 Audio-CD Eckhart Tolle / Audio Audio CD
common.buy 14.83 €
Überfallkommando Edgar Wallace / Βιβλίο Χαρτόδετο
common.buy 7.36 €
Auf Dem Weg Zur Biomachtigen Gesellschaft? Achim Bühl / Βιβλίο Χαρτόδετο
common.buy 78.01 €

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

Ηθοποιός & Πολύγλωσση
EWA KASP για
Αναπαραγωγή βίντεο
Ewa Kasp
το Libristo διαθέτει τη μεγαλύτερη επιλογή ξενόγλωσσων βιβλίων. Γι' αυτό αγοράζω τα βιβλία μου εδώ.

Πληροφορίες για το βιβλίο

Πλήρες όνομα Implementing Mathematics with The Nuprl Proof Development System
Συγγραφέας R L Constable
Γλώσσα Αγγλική
Βιβλιοδεσία Βιβλίο - Χαρτόδετο
Ημερομηνία έκδοσης 2012
Αριθμός σελίδων 310
EAN 9781468059106
ISBN 1468059106
Κωδικός Libristo 17068327
ΕΕκδοτικός οίκος Createspace Independent Publishing Platform
Βάρος 417
Διαστάσεις 152 x 229 x 17

Κατηγορία

Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
Χαρίστε αυτό το βιβλίο σήμερα
Είναι εύκολο
1 Προσθέστε το βιβλίο στο καλάθι σας και επιλέξτε παράδοση ως δώρο 2 Ως ανταμοιβή θα σας στείλουμε ένα κουπόνι 3 Το βιβλίο θα φτάσει στη διεύθυνση του παραλήπτη

Μπορεί να σας ενδιαφέρει

Slope Stability and Erosion Control: Ecotechnological Solutions Joanne E. Norris / Βιβλίο Σκληρόδετο
common.buy 175.20 €
Grant's Heat Victoria Blue / Βιβλίο Χαρτόδετο
common.buy 14.83 €
Chemistry Concepts Coloring Book Lauren Mccarthy / Βιβλίο Χαρτόδετο
common.buy 13.72 €
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 / Βιβλίο Σκληρόδετο
common.buy 32.08 €
The Navy Blue Angels: In Action - A Regional View Delores Witkowski / Βιβλίο Χαρτόδετο
common.buy 16.24 €
Public Opinion In War And Peace Abbott Lawrence Lowell / Βιβλίο Σκληρόδετο
common.buy 47.93 €
The Book of The Garden Richard Wehrman / Βιβλίο Χαρτόδετο
common.buy 15.53 €
Ominous Whoosh: A Wandering Mind Returns to Twin Peaks John Thorne / Βιβλίο Χαρτόδετο
common.buy 22.19 €
Folk Horror Dawn Keetley / Βιβλίο Χαρτόδετο
common.buy 37.94 €
Get Funded: An Insider's Guide to Building An Academic Research Program Robert J. Trew / Βιβλίο Σκληρόδετο
common.buy 88.50 €
Explosive Percolation in Random Networks Wei Chen / Βιβλίο Χαρτόδετο
common.buy 114.24 €
The Fall and Rise of Women Winfried Sedhoff / Βιβλίο Σκληρόδετο
common.buy 22.19 €
Dress and Cultural Identity in the Rhine-Moselle Region of the Roman Empire Ursula Rothe / Βιβλίο Χαρτόδετο
common.buy 81.64 €
Fundamental Feminism Judith Grant / Βιβλίο Σκληρόδετο
common.buy 217.89 €
Way Ahead 6 Grammar Practice R. Holt / Βιβλίο Χαρτόδετο
common.buy 9.07 €
History Of The War Of The Independence Of The United States Of America V2 (1845) Charles Botta / Βιβλίο Χαρτόδετο
common.buy 41.98 €
Music is My Mistress Lisa Williamson / Βιβλίο Χαρτόδετο
common.buy 17.35 €
Sacred Power of Huna Rima A. Morrell / Βιβλίο Χαρτόδετο
common.buy 17.55 €
Eight Keys to an Extraordinary Board-Superintendent Partnership Doug Eadie / Βιβλίο Χαρτόδετο
common.buy 55.60 €
Handbook of Cost Management 2e Roman L. Weil / Βιβλίο Σκληρόδετο
common.buy 172.37 €
Receptor Signal Transduction Protocols Gary B. Willars / Βιβλίο Σκληρόδετο
common.buy 114.24 €
Confederate Military History General Clement a. Evans / Βιβλίο Σκληρόδετο
common.buy 43.49 €
Power of the Universe Lies Within You Pradipta Kumar Das / Βιβλίο Σκληρόδετο
common.buy 26.33 €
Introduction To Differential Equations, An: Stochastic Modeling, Methods And Analysis (Volume 2) Anil G Lade / Βιβλίο Χαρτόδετο
common.buy 85.88 €

Είσοδος

Συνδεθείτε στο λογαριασμό σας Δεν έχετε ακόμη λογαριασμό στο Libristo; Δημιουργήστε τον τώρα!

 
υποχρεωτικό
υποχρεωτικό
Ξεχάσατε τον κωδικό πρόσβασης

Δεν έχετε λογαριασμό; Αποκτήστε τα οφέλη ενός λογαριασμού Libristo!

Με έναν λογαριασμό Libristo, θα έχετε τον απόλυτο έλεγχο.

Δημιουργία λογαριασμού Libristo
Σύμβουλος βιβλίων Libroamiko
Γεια σας, είμαι ο Libroamiko, μπορώ να βοηθήσω;