Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free
0
Free delivery for purchases over 19 990 Ft
DPD courier 1 190 Ft Post 1 795 Ft Post 1 690 Ft Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft DPD point 990 Ft GLS courier 1 690 Ft GLS point 1 190 Ft
phone Contact phoneHow to shop
Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Implementing Mathematics with The Nuprl Proof Development System

Language EnglishEnglish
Book Paperback
Book Implementing Mathematics with The Nuprl Proof Development System R L Constable
Libristo code: 17068327
Publishers Createspace Independent Publishing Platform, January 2012
Four goals of the book: Offer a tutorial on mathematical ideas which underlie our research Serve as...
? points 34 b
4 950 Ft
In stock at our supplier Shipping in 9-15 days

30-day return policy

Customers also purchased

Servidor William Rodriguez / Book Paperback
common.buy 3 606 Ft
Estrategias de Sistemas OBD-2 Mandy Concepcion / Book Paperback
common.buy 10 836 Ft
Boszorkánykirály Martha Wells / Book Hardback
common.buy 5 220 Ft
Zao wou-ki les estampes (1937-1974) <<<<< Book Book
common.buy 11 683 Ft
A BRUXA SELANA XABIER DOMINGUEZ / Book Hardback
common.buy 5 287 Ft
Reflexzonenarbeit am Fuß Hanne Marquardt / Book Hardback
common.buy 12 747 Ft
Heimerziehung als Teil des Handlungsfeldes Kinder- und Jugendhilfe. Geschichte, Struktur und erforderliche Kompetenzen der Fachkräfte Jessica Johnsen / Book Paperback
common.buy 6 249 Ft
Maigret als möblierter Herr Walter Kreye / Audio Audio CD
common.buy 6 645 Ft
bonae fidei possessio oder das Recht des Besitzes Friedrich Wilhelm Tigerstrom / Book Hardback
common.buy 49 766 Ft
Erritas agridulces Jose Prats Sariol / Book Paperback
common.buy 5 374 Ft
Anthropologie des Apostels Paulus Hermann Lüdemann / Book Paperback
common.buy 11 144 Ft
Torwege zum Jetzt, 1 Audio-CD Eckhart Tolle / Audio Audio CD
common.buy 5 784 Ft
Überfallkommando Edgar Wallace / Book Paperback
common.buy 2 846 Ft
Auf Dem Weg Zur Biomachtigen Gesellschaft? Achim Bühl / Book Paperback
common.buy 34 155 Ft

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

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name Implementing Mathematics with The Nuprl Proof Development System
Author R L Constable
Language English
Binding Book - Paperback
Date of issue 2012
Number of pages 310
EAN 9781468059106
ISBN 1468059106
Libristo code 17068327
Publishers Createspace Independent Publishing Platform
Weight 417
Dimensions 152 x 229 x 17

Categories

Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

You might also be interested in

Slope Stability and Erosion Control: Ecotechnological Solutions Joanne E. Norris / Book Hardback
common.buy 63 742 Ft
Grant's Heat Victoria Blue / Book Paperback
common.buy 5 710 Ft
Chemistry Concepts Coloring Book Lauren Mccarthy / Book Paperback
common.buy 4 978 Ft
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 / Book Hardback
common.buy 11 683 Ft
The Navy Blue Angels: In Action - A Regional View Delores Witkowski / Book Paperback
common.buy 5 927 Ft
Public Opinion In War And Peace Abbott Lawrence Lowell / Book Hardback
common.buy 17 435 Ft
The Book of The Garden Richard Wehrman / Book Paperback
common.buy 5 683 Ft
Top
Ominous Whoosh: A Wandering Mind Returns to Twin Peaks John Thorne / Book Paperback
common.buy 8 077 Ft
Folk Horror Dawn Keetley / Book Paperback
common.buy 12 834 Ft
Get Funded: An Insider's Guide to Building An Academic Research Program Robert J. Trew / Book Hardback
common.buy 32 184 Ft
Explosive Percolation in Random Networks Wei Chen / Book Paperback
common.buy 41 546 Ft
Dress and Cultural Identity in the Rhine-Moselle Region of the Roman Empire Ursula Rothe / Book Paperback
common.buy 28 767 Ft
Fundamental Feminism Judith Grant / Book Hardback
common.buy 79 105 Ft
Way Ahead 6 Grammar Practice R. Holt / Book Paperback
common.buy 3 463 Ft
History Of The War Of The Independence Of The United States Of America V2 (1845) Charles Botta / Book Paperback
common.buy 15 289 Ft
Music is My Mistress Lisa Williamson / Book Paperback
common.buy 6 309 Ft
Sacred Power of Huna Rima A. Morrell / Book Paperback
common.buy 6 792 Ft
Eight Keys to an Extraordinary Board-Superintendent Partnership Doug Eadie / Book Paperback
common.buy 20 649 Ft
Receptor Signal Transduction Protocols Gary B. Willars / Book Hardback
common.buy 41 546 Ft
Handbook of Cost Management 2e Roman L. Weil / Book Hardback
common.buy 57 986 Ft
Introduction To Differential Equations, An: Stochastic Modeling, Methods And Analysis (Volume 2) Anil G Lade / Book Paperback
common.buy 31 208 Ft
Power of the Universe Lies Within You Pradipta Kumar Das / Book Hardback
common.buy 9 592 Ft
Confederate Military History General Clement a. Evans / Book Hardback
common.buy 15 860 Ft
Nothing Sticks Like a Shadow Ann Tompert / Book Paperback
common.buy 3 270 Ft

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?