Code: 17068327
Implementing Mathematics with The Nuprl Proof Development System
by R L Constable
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 ... more
- Language:
English - Binding: Paperback
- Number of pages: 310
Publisher: Createspace Independent Publishing Platform, 2012
- More about this
13.83 €
RRP: 14.09 €
You save 0.26 €
In stock at our supplier
Shipping in 15 - 20 days
You might also like
-
Erritas agridulces
15.04 € -1 % -
Estrategias de Sistemas OBD-2
30.30 € -1 %
Give this book as a present today
- Order book and choose Gift Order.
- We will send you book gift voucher at once. You can give it out to anyone.
- Book will be send to donee, nothing more to care about.
More about Implementing Mathematics with The Nuprl Proof Development System
You get 35 loyalty points
Book synopsis
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
Book details
13.83 €
- Full title: Implementing Mathematics with The Nuprl Proof Development System
- Author: R L Constable
- Language: English
- Binding: Paperback
- Number of pages: 310
- EAN: 9781468059106
- ISBN: 1468059106
- ID: 17068327
- Publisher: Createspace Independent Publishing Platform
- Weight: 417 g
- Dimensions: 229 × 152 × 17 mm
- Date of publishing: 23. January 2012
Trending among others
-
Gravity Falls Journal 3
18.38 € -14 % -
Berserk Deluxe Volume 1
44.34 € -12 % -
Berserk Deluxe Volume 2
52.22 € -
White Nights
3.53 € -23 % -
It ends with us
9.08 € -29 % -
Berserk Deluxe Volume 3
48.78 € -3 % -
48 Laws Of Power
18.07 € -9 % -
A Little Life
17.47 € -
Surrounded by Idiots
10.70 € -10 % -
Atomic Habits
15.95 € -14 % -
The Official Stardew Valley Cookbook
22.31 € -22 % -
Berserk Deluxe Volume 4
46.46 € -7 % -
Iron Flame
16.25 € -18 % -
The 48 Laws of Power
24.54 € -5 % -
Jujutsu Kaisen, Vol. 23
10.70 € -18 % -
Powerless
11.91 € -7 % -
Berserk Deluxe Volume 5
50.40 € -
Reckless
10.29 € -20 % -
A Good Girl's Guide to Murder
8.17 € -14 % -
It Starts with Us
9.08 € -29 % -
A Curse For True Love
11.71 € -1 % -
Twisted Hate
10.70 € -17 % -
The Husky and His White Cat Shizun: Erha He Ta de Bai Mao Shizun (Novel) Vol. 6
16.15 € -19 % -
Vagabond (VIZBIG Edition), Vol. 1
24.54 € -
Court of Thorns and Roses Paperback Box Set (5 books)
49.99 € -20 % -
Twisted Love
9.79 € -24 % -
Berserk Deluxe Volume 6
54.64 € -18 % -
Fourth Wing
10.29 € -28 % -
Everything I Know About Love
9.79 € -31 % -
Twisted Lies
9.79 € -17 % -
Court of Mist and Fury
9.38 € -18 % -
Psychology of Money
18.88 € -4 % -
Twisted Games
9.79 € -17 % -
The Courage To Be Disliked
11 € -14 % -
A Court of Wings and Ruin
9.08 € -21 % -
A Court of Silver Flames
10.09 € -15 % -
Meow
20.80 € -
The Ballad of Never After
10.09 € -21 % -
Berserk Deluxe Volume 7
47.97 € -4 % -
Jujutsu Kaisen, Vol. 1
11.40 € -4 % -
Good Girl, Bad Blood
8.58 € -20 % -
Guardian: Zhen Hun (Novel) Vol. 3 (Special Edition)
24.03 € -19 % -
Heaven Official's Blessing: Tian Guan Ci Fu (Novel) Vol. 1
18.07 € -14 % -
As Good As Dead
9.08 € -16 % -
Once Upon A Broken Heart
9.89 € -23 % -
Secret History
9.79 € -24 % -
Heaven Official's Blessing: Tian Guan Ci Fu Vol. 4
18.68 € -7 % -
House of Leaves
23.12 € -22 % -
No Longer Human
13.43 € -16 %
Shopping guide
Books by language
Collection points Bratislava a 2642 dalších
Copyright ©2008-24 najlacnejsie-knihy.sk All rights reservedPrivacyCookies
15549 collection points
Delivery 2.99 €
02/210 210 99 (8-15.30h)