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 12.99 zł Punkt DPD 13.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
54.99 zł
Dostępna u dostawcy Wysyłamy za 9-15 dni

30 dni na zwrot towaru

Klienci kupili także

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

Explosive Percolation in Random Networks Wei Chen / Książka Miękka
common.buy 485.47 zł
Grant's Heat Victoria Blue / Książka Miękka
common.buy 62.92 zł
Chemistry Concepts Coloring Book Lauren Mccarthy / Książka Miękka
common.buy 55.39 zł
The Navy Blue Angels: In Action - A Regional View Delores Witkowski / Książka Miękka
common.buy 66.03 zł
Public Opinion In War And Peace Abbott Lawrence Lowell / Książka Twarda
common.buy 194.10 zł
The Book of The Garden Richard Wehrman / Książka Miękka
common.buy 63.02 zł
Get Funded: An Insider's Guide to Building An Academic Research Program Robert J. Trew / Książka Twarda
common.buy 359.51 zł
Dress and Cultural Identity in the Rhine-Moselle Region of the Roman Empire Ursula Rothe / Książka Miękka
common.buy 312.13 zł
Power of the Universe Lies Within You Pradipta Kumar Das / Książka Twarda
common.buy 107.08 zł
Confederate Military History General Clement a. Evans / Książka Twarda
common.buy 176.44 zł
Slope Stability and Erosion Control: Ecotechnological Solutions Joanne E. Norris / Książka Twarda
common.buy 744.72 zł
Receptor Signal Transduction Protocols Gary B. Willars / Książka Twarda
common.buy 485.47 zł
Introduction To Differential Equations, An: Stochastic Modeling, Methods And Analysis (Volume 2) Anil G Lade / Książka Miękka
common.buy 349.67 zł
Nothing Sticks Like a Shadow Ann Tompert / Książka Miękka
common.buy 35.72 zł
History Of The War Of The Independence Of The United States Of America V2 (1845) Charles Botta / Książka Miękka
common.buy 170.11 zł
Handbook of Cost Management 2e Roman L. Weil / Książka Twarda
common.buy 622.47 zł
Eight Keys to an Extraordinary Board-Superintendent Partnership Doug Eadie / Książka Miękka
common.buy 224.21 zł
Folk Horror Dawn Keetley / Książka Miękka
common.buy 139.30 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?