Проверка на състоянието на поръчката
LIBRISTO
LIBROAMANTO
задължително
Забравена парола
Станете част от общност от любители на книгите от цял свят и получавате много предимства. Създай на безплатен акаунт
0
Безплатна доставка със Еконт над 69.99 €
Куриер Speedy 3.49 € Пункт на Speedy 3.49 € ЕКОНТ 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday 3.99 € Sameday box 3.99 € Box Now 3.99 €
phone Контакт phoneКак се пазарува?
Над 4 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 69.99€

Implementing Mathematics with The Nuprl Proof Development System

Език Английски езикАнглийски език
Книга С меки корици
Книга Implementing Mathematics with The Nuprl Proof Development System R L Constable
Код Либристо: 17068327
Издателство Createspace Independent Publishing Platform, януари 2012
Four goals of the book: Offer a tutorial on mathematical ideas which underlie our research Serve as...
? points 31 b
12.99 €
25.41  лв
Външен склад Изпращаме след 9-15 дни

30 дни за връщане на стоката

Клиентите са закупили също

Estrategias de Sistemas OBD-2 Mandy Concepcion / Книга С меки корици
common.buy 28.37 € 55.49 лв
Servidor William Rodriguez / Книга С меки корици
common.buy 9.42 € 18.42 лв
Zao wou-ki les estampes (1937-1974) <<<<< Книга Книга
common.buy 34.54 € 67.55 лв
Heimerziehung als Teil des Handlungsfeldes Kinder- und Jugendhilfe. Geschichte, Struktur und erforderliche Kompetenzen der Fachkräfte Jessica Johnsen / Книга С меки корици
common.buy 17.14 € 33.51 лв
A BRUXA SELANA XABIER DOMINGUEZ / Книга С твърди корици
common.buy 15.79 € 30.88 лв
Boszorkánykirály Martha Wells / Книга С твърди корици
common.buy 14.13 € 27.64 лв
Reflexzonenarbeit am Fuß Hanne Marquardt / Книга С твърди корици
common.buy 35.00 € 68.46 лв
Maigret als möblierter Herr Walter Kreye / Аудио Аудио компактдиск
common.buy 19.83 € 38.78 лв
bonae fidei possessio oder das Recht des Besitzes Friedrich Wilhelm Tigerstrom / Книга С твърди корици
common.buy 115.11 € 225.14 лв
Erritas agridulces Jose Prats Sariol / Книга С меки корици
common.buy 14.08 € 27.54 лв
Bob Dylan Live 1975: Bootleg Series Vol.5 Bob Dylan / Аудио Аудио компактдиск
common.buy 21.95 € 42.93 лв
Anthropologie des Apostels Paulus Hermann Lüdemann / Книга С меки корици
common.buy 20.92 € 40.91 лв
Torwege zum Jetzt, 1 Audio-CD Eckhart Tolle / Аудио Аудио компактдиск
common.buy 15.84 € 30.98 лв
Überfallkommando Edgar Wallace / Книга С меки корици
common.buy 7.81 € 15.28 лв
Auf Dem Weg Zur Biomachtigen Gesellschaft? Achim Bühl / Книга С меки корици
common.buy 82.64 € 161.64 лв

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
Баркод 9781468059106
ISBN 1468059106
Код Либристо 17068327
Издателство Createspace Independent Publishing Platform
Тегло 417
Размери 152 x 229 x 17

Категории

Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
Подарете тази книга днес
Лесно е
1 Добавете книгата в количката си и изберете Доставка като подарък 2 В замяна ще ви изпратим ваучер 3 Книгата ще пристигне на адреса на получателя

Може би ще Ви заинтересува

Explosive Percolation in Random Networks Wei Chen / Книга С меки корици
common.buy 119.77 € 234.26 лв
Grant's Heat Victoria Blue / Книга С меки корици
common.buy 15.69 € 30.68 лв
Chemistry Concepts Coloring Book Lauren Mccarthy / Книга С меки корици
common.buy 13.10 € 25.61 лв
The Navy Blue Angels: In Action - A Regional View Delores Witkowski / Книга С меки корици
common.buy 15.58 € 30.48 лв
Public Opinion In War And Peace Abbott Lawrence Lowell / Книга С твърди корици
common.buy 45.82 € 89.63 лв
The Book of The Garden Richard Wehrman / Книга С меки корици
common.buy 14.91 € 29.16 лв
Get Funded: An Insider's Guide to Building An Academic Research Program Robert J. Trew / Книга С твърди корици
common.buy 84.92 € 166.10 лв
Dress and Cultural Identity in the Rhine-Moselle Region of the Roman Empire Ursula Rothe / Книга С меки корици
common.buy 81.51 € 159.41 лв
Power of the Universe Lies Within You Pradipta Kumar Das / Книга С твърди корици
common.buy 25.27 € 49.42 лв
Confederate Military History General Clement a. Evans / Книга С твърди корици
common.buy 41.68 € 81.52 лв
Slope Stability and Erosion Control: Ecotechnological Solutions Joanne E. Norris / Книга С твърди корици
common.buy 183.83 € 359.55 лв
Receptor Signal Transduction Protocols Gary B. Willars / Книга С твърди корици
common.buy 119.77 € 234.26 лв
Introduction To Differential Equations, An: Stochastic Modeling, Methods And Analysis (Volume 2) Anil G Lade / Книга С меки корици
common.buy 82.59 € 161.54 лв
Nothing Sticks Like a Shadow Ann Tompert / Книга С меки корици
common.buy 8.44 € 16.50 лв
History Of The War Of The Independence Of The United States Of America V2 (1845) Charles Botta / Книга С меки корици
common.buy 40.18 € 78.59 лв
Handbook of Cost Management 2e Roman L. Weil / Книга С твърди корици
common.buy 164.31 € 321.36 лв
Eight Keys to an Extraordinary Board-Superintendent Partnership Doug Eadie / Книга С меки корици
common.buy 58.51 € 114.44 лв
Folk Horror Dawn Keetley / Книга С меки корици
common.buy 36.35 € 71.09 лв

Вход

Влезте в акаунта си. Още нямате акаунт за Libristo? Създайте го сега!

 
задължително
задължително
Забравена парола

Нямате акаунт? Използвайте предимствата на акаунта за Libristo!

Благодарение на акаунта за Libristo държите всичко под контрол.

Създаване на акаунт за Libristo
Книжен съветник Libroamiko
Здравейте, аз съм Libroamiko, мога ли да помогна?