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 31 b
Gwarancja
najlepszej
ceny ▸
55.99 zł
Dostępna u dostawcy Wysyłamy za 14-21 dni

Nawet do 30 dni na zwrot

Klienci kupili także

Estrategias de Sistemas OBD-2 Mandy Concepcion / Książka Miękka
common.buy 122.32 zł
Servidor William Rodriguez / Książka Miękka
common.buy 40.66 zł
Boszorkánykirály Martha Wells / Książka Twarda
common.buy 57.83 zł
A BRUXA SELANA XABIER DOMINGUEZ / Książka Twarda
common.buy 64.58 zł
Reflexzonenarbeit am Fuß Hanne Marquardt / Książka Twarda
common.buy 143.06 zł
Zao wou-ki les estampes (1937-1974) <<<<< Książka Książka
common.buy 141.63 zł
Maigret als möblierter Herr Walter Kreye / Audio CD Audio
common.buy 80.83 zł
bonae fidei possessio oder das Recht des Besitzes Friedrich Wilhelm Tigerstrom / Książka Twarda
common.buy 471.62 zł
Erritas agridulces Jose Prats Sariol / Książka Miękka
common.buy 60.59 zł
Bob Dylan Live 1975: Bootleg Series Vol.5 Bob Dylan / Audio CD Audio
common.buy 90.23 zł
Anthropologie des Apostels Paulus Hermann Lüdemann / Książka Miękka
common.buy 85.12 zł
Torwege zum Jetzt, 1 Audio-CD Eckhart Tolle / Audio CD Audio
common.buy 64.17 zł
Überfallkommando Edgar Wallace / Książka Miękka
common.buy 31.77 zł
Auf Dem Weg Zur Biomachtigen Gesellschaft? Achim Bühl / Książka Miękka
common.buy 337.64 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ć

Slope Stability and Erosion Control: Ecotechnological Solutions Joanne E. Norris / Książka Twarda
common.buy 758.27 zł
Grant's Heat Victoria Blue / Książka Miękka
common.buy 66.01 zł
Chemistry Concepts Coloring Book Lauren Mccarthy / Książka Miękka
common.buy 56.40 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 132.53 zł
F.E.E.L. Madrid Arroyo Alba / Książka Miękka
common.buy 64.37 zł
The Navy Blue Angels: In Action - A Regional View Delores Witkowski / Książka Miękka
common.buy 67.23 zł
Public Opinion In War And Peace Abbott Lawrence Lowell / Książka Twarda
common.buy 197.63 zł
The Book of The Garden Richard Wehrman / Książka Miękka
common.buy 64.17 zł
Ominous Whoosh: A Wandering Mind Returns to Twin Peaks John Thorne / Książka Miękka
common.buy 91.35 zł
Folk Horror Dawn Keetley / Książka Miękka
common.buy 139.79 zł
Get Funded: An Insider's Guide to Building An Academic Research Program Robert J. Trew / Książka Twarda
common.buy 366.05 zł
Explosive Percolation in Random Networks Wei Chen / Książka Miękka
common.buy 494.30 zł
Statistical Mechanics And The Physics Of Many-particle Model Systems Alexander Leonidovich Kuzemsky / Książka Twarda
common.buy 2 162.83 zł
The Fall and Rise of Women Winfried Sedhoff / Książka Twarda
common.buy 90.23 zł
Dress and Cultural Identity in the Rhine-Moselle Region of the Roman Empire Ursula Rothe / Książka Miękka
common.buy 305.04 zł
Power of the Universe Lies Within You Pradipta Kumar Das / Książka Twarda
common.buy 85.83 zł
Way Ahead 6 Grammar Practice R. Holt / Książka Miękka
common.buy 39.23 zł
History Of The War Of The Independence Of The United States Of America V2 (1845) Charles Botta / Książka Miękka
common.buy 173.21 zł
Music is My Mistress Lisa Williamson / Książka Miękka
common.buy 71.53 zł
Sacred Power of Huna Rima A. Morrell / Książka Miękka
common.buy 76.12 zł
Eight Keys to an Extraordinary Board-Superintendent Partnership Doug Eadie / Książka Miękka
common.buy 230.44 zł
Receptor Signal Transduction Protocols Gary B. Willars / Książka Twarda
common.buy 494.30 zł
Handbook of Cost Management 2e Roman L. Weil / Książka Twarda
common.buy 620.72 zł
Fundamental Feminism Judith Grant / Książka Twarda
common.buy 1 054.53 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