Sprawdzić stan zamówienia
LIBRISTO
LIBROAMANTO
obowiązkowe
Zapomniane hasło
Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie
0
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost Kurier 12.99 zł Punkt DPD 11.99 zł
phone Kontakt phoneJak kupować
Darmowa dostawa dla zamówień powyżej 299,00 zł.

Implementing Mathematics with The Nuprl Proof Development System

Język AngielskiAngielski
Książka Miękka
Książka Implementing Mathematics with The Nuprl Proof Development System R L Constable
Kod Libristo: 17068327
Wydawnictwo Createspace Independent Publishing Platform, styczeń 2012
Four goals of the book: Offer a tutorial on mathematical ideas which underlie our research Serve as...
? points 32 b
Gwarancja
najlepszej
ceny ▸
57.59 zł
Dostępna u dostawcy Wysyłamy za 9-13 dni

Nawet do 30 dni na zwrot

Klienci kupili także

Servidor William Rodriguez / Książka Miękka
common.buy 42.03 zł
Estrategias de Sistemas OBD-2 Mandy Concepcion / Książka Miękka
common.buy 126.42 zł
Ripper - Tome 1 / Książka Miękka
common.buy 44.14 zł
Diversity in Contact Nataliya Levkovych / E-book Adobe ePub DRM
common.buy 607.66 zł
Anthropologie des Apostels Paulus Hermann Lüdemann / Książka Miękka
common.buy 85.48 zł
Reflexzonenarbeit am Fuß Hanne Marquardt / Książka Twarda
common.buy 161.74 zł
Boszorkánykirály Martha Wells / Książka Twarda
common.buy 60.90 zł
Batman - Duga noć vještica Jeph Loeb / Książka Twarda
common.buy 185.52 zł
Nathan und seine Kinder Mirjam Pressler / Książka Miękka
common.buy 34.51 zł
Auf Dem Weg Zur Biomachtigen Gesellschaft? Achim Bühl / Książka Miękka
common.buy 339.75 zł
Überfallkommando Edgar Wallace / Książka Miękka
common.buy 31.98 zł
Bob Dylan Live 1975: Bootleg Series Vol.5 Bob Dylan / Audio CD Audio
common.buy 90.90 zł
Erritas agridulces Jose Prats Sariol / Książka Miękka
common.buy 62.70 zł
Torwege zum Jetzt, 1 Audio-CD Eckhart Tolle / Audio CD Audio
common.buy 64.61 zł
A BRUXA SELANA XABIER DOMINGUEZ / Książka Twarda
common.buy 64.61 zł
Zao wou-ki les estampes (1937-1974) <<<<< Książka Książka
common.buy 138.76 zł
Heimerziehung als Teil des Handlungsfeldes Kinder- und Jugendhilfe. Geschichte, Struktur und erforderliche Kompetenzen der Fachkräfte Jessica Johnsen / Książka Miękka
common.buy 70.43 zł
Maigret als möblierter Herr Walter Kreye / Audio CD Audio
common.buy 80.66 zł
bonae fidei possessio oder das Recht des Besitzes Friedrich Wilhelm Tigerstrom / Książka Twarda
common.buy 474.60 zł
Programování v C++ Miroslav Virius / Książka Miękka
common.buy 71.23 zł

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

Aktorka & Poliglotka
EWA KASP dla
Odtworzyć wideo
Ewa Kasp
Libristo ma największy wybór literatury obcojęzycznej. Dlatego tutaj kupuję swoje książki.

Informacje o książce

Pełna nazwa Implementing Mathematics with The Nuprl Proof Development System
Autor R L Constable
Język Angielski
Oprawa Książka - Miękka
Data wydania 2012
Liczba stron 310
EAN 9781468059106
ISBN 1468059106
Kod Libristo 17068327
Wydawnictwo Createspace Independent Publishing Platform
Waga 417
Wymiary 152 x 229 x 17

Kategoria

Matematyka i nauki ścisłe > Matematyka > Podstawy matematyki > Logika matematyczna
Podaruj tę książkę jeszcze dziś
To łatwe
1 Dodaj książkę do koszyka i wybierz „dostarczyć jako prezent” 2 W odpowiedzi wyślemy Ci bon 3 Książka dotrze na adres obdarowanego

Mogłoby Cię także zainteresować

The Twins Win and Win Again MR Neil MacKenzie / Książka Miękka
common.buy 33.91 zł
Tanie
German: Learn German for Beginners Including German Grammar, German Short Stories and 1000+ German Phrases Language Learning University / Książka Miękka
common.buy 43.34 zł
Chemistry Concepts Coloring Book Lauren Mccarthy / Książka Miękka
common.buy 57.99 zł
Statistical Mechanics And The Physics Of Many-particle Model Systems Alexander Leonidovich Kuzemsky / Książka Twarda
common.buy 2 176.29 zł
Explosive Percolation in Random Networks Wei Chen / Książka Miękka
common.buy 516.45 zł
Get Funded: An Insider's Guide to Building An Academic Research Program Robert J. Trew / Książka Twarda
common.buy 368.44 zł
The Book of The Garden Richard Wehrman / Książka Miękka
common.buy 66.11 zł
Public Opinion In War And Peace Abbott Lawrence Lowell / Książka Twarda
common.buy 204.38 zł
The Navy Blue Angels: In Action - A Regional View Delores Witkowski / Książka Miękka
common.buy 69.53 zł
TOP
Never Touch A Spider! Rosie Greening / Książka Leporelo
common.buy 37.72 zł
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 / Książka Twarda
common.buy 136.86 zł
Introduction To Differential Equations, An: Stochastic Modeling, Methods And Analysis (Volume 2) Anil G Lade / Książka Miękka
common.buy 368.14 zł
Grant's Heat Victoria Blue / Książka Miękka
common.buy 64.49 zł
F.E.E.L. Madrid Arroyo Alba / Książka Miękka
common.buy 63.71 zł
TOP
Yona of the Dawn, Vol. 38 Mizuho Kusanagi / Książka Miękka
common.buy 37.52 zł
Ominous Whoosh: A Wandering Mind Returns to Twin Peaks John Thorne / Książka Miękka
common.buy 94.11 zł
Folk Horror Dawn Keetley / Książka Miękka
common.buy 144.38 zł
Music is My Mistress Lisa Williamson / Książka Miękka
common.buy 73.64 zł
SOUL GROWTH ASTROLOGY MCCORD MOLLY / Książka Miękka
common.buy 92.50 zł
Introduction to Biophysical Chemistry Jefferson / Książka Twarda
common.buy 601.03 zł
TOP
Six of Crows: A Darker Shore Leigh Bardugo / Książka Twarda
common.buy 99.33 zł
Handbook of Cost Management 2e Roman L. Weil / Książka Twarda
common.buy 636.35 zł
Days on the Road Sarah Raymond Herndon / Książka Miękka
common.buy 44.14 zł
Slope Stability and Erosion Control: Ecotechnological Solutions Joanne E. Norris / Książka Twarda
common.buy 711.21 zł

Logowanie

Zaloguj się do swojego konta. Nie masz jeszcze konta Libristo? Utwórz je teraz!

 
obowiązkowe
obowiązkowe
Zapomniane hasło

Nie masz konta? Zyskaj korzyści konta Libristo!

Dzięki kontu Libristo będziesz mieć wszystko pod kontrolą.

Utwórz konto Libristo
Doradca książkowy Libroamiko
Cześć, jestem Libroamiko, w czym mogę pomóc?