-
1. Implementing Mathematics with The Nuprl Proof Development System
by Constable, R L
Seller Description: New. Print on demand Trade paperback (US). Glued binding. 310 p. See More Details
2012, Createspace Independent Publishing Platform
ISBN-13: 9781468059106
Trade paperback, New
NV, USA
$10.38
-
2. Implementing Mathematics with The Nuprl Proof Development System
by Constable, R L
Seller Description: New. Trade paperback (US). Glued binding. 310 p. In Stock. 100% Money Back Guarantee. Brand New, Perfect Condition, allow 4-14 business days for standard shipping. To Alaska, Hawaii, U.S. protectorate, P.O. box, and APO/FPO addresses allow 4-28 business days for Standard shipping. No expedited shipping. All orders placed with expedited shipping will be cancelled. Over 3, 000, 000 happy customers. See More Details
2012, Createspace Independent Publishing Platform
ISBN-13: 9781468059106
Trade paperback, New
Columbia, MD, USA
$12.64
-
3. Implementing Mathematics With the Nuprl Proof Development System
by Constable, R L
Seller Description: Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book. See More Details
2012, CreateSpace Independent Publis
ISBN-13: 9781468059106
paperback, Good
Santa Clarita, CA, USA
$30.89
-
4. Implementing Mathematics With the Nuprl Proof Development System
by R. L. Constable
Seller Description: Very good. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less. See More Details
1986, Prentice Hall
ISBN-13: 9780134518329
Hardcover, Very Good
Reno, NV, USA
$15.94
-
5. Implementing Mathematics With the Nuprl Proof Development System
Seller Description: Brand New. New. See More Details
1986, Prentice Hall
ISBN-13: 9780134518329
New Delhi, DELHI, INDIA
$37.25
-
6. Implementing Mathematics With the Nuprl Proof Development System
by R.L. Constable,
Seller Description: Brand New. New. See More Details
1986, Prentice Hall
ISBN-13: 9780134518329
New Delhi, DELHI, INDIA
$37.32
-
7. Implementing Mathematics With the Nuprl Proof Development System
Seller Description: New, US edition. Satisfaction guaranteed! ! See More Details
1986, Prentice Hall
ISBN-13: 9780134518329
Irving, TX, USA
$37.70
-
8. Implementing Mathematics With the Nuprl Proof Development System
Seller Description: New, Satisfaction guaranteed! ! See More Details
1986, Prentice Hall
ISBN-13: 9780134518329
Irving, TX, USA
$38.70
-
9. Implementing Mathematics With the Nuprl Proof Development System
Seller Description: Brand New. New Book Original US edition, We Ship to PO BOX Address also. See More Details
1986, Prentice Hall
ISBN-13: 9780134518329
Sterling Heights, MI, USA
$38.95
-
10. Implementing Mathematics With the Nuprl Proof Development System
by Constable, R. L.
Seller Description: Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book. See More Details
1986, Prentice Hall
ISBN-13: 9780134518329
hardcover, Good
Santa Clarita, CA, USA
$48.16
-
11. Implementing Mathematics With the Nuprl Proof Development System
by Constable, R. L.
Seller Description: New. Size: 9x6x0; See More Details
1986, Prentice Hall
ISBN-13: 9780134518329
hardcover, New
DuBois, PA, USA
$56.45
-
12. Implementing Mathematics With the Nuprl Proof Development System
by Constable, R. L.
Seller Description: New. See More Details
1986, Prentice Hall
ISBN-13: 9780134518329
hardcover, New
Miramar, FL, USA
$81.01
|
