Implementing Mathematics With the Nuprl Proof Development System

3 avg rating
( 2 ratings by Goodreads )
 
9780134518329: Implementing Mathematics With the Nuprl Proof Development System
View all copies of this ISBN edition:
 
 

Four goals of the book:

  1. Offer a tutorial on mathematical ideas which underlie our research
  2. Serve as a manual for users of the Nuprl system
  3. Give an overview of the project for those interested in applications of the results and for those inclined to basic research in the area
  4. Present research which has arisen as we have worked on the Nuprl system

"synopsis" may belong to another edition of this title.

Top Search Results from the AbeBooks Marketplace

1.

R.L. Constable
Published by Prentice-Hall
ISBN 10: 0134518322 ISBN 13: 9780134518329
New Quantity Available: 1
Seller:
Books Puddle
(New York, NY, U.S.A.)
Rating
[?]

Book Description Prentice-Hall. Condition: New. pp. 304 1st Edition. Seller Inventory # 262611316

More information about this seller | Contact this seller

Buy New
US$ 45.51
Convert currency

Add to Basket

Shipping: US$ 3.99
Within U.S.A.
Destination, rates & speeds

2.

Constable R.L.
Published by Prentice-Hall
ISBN 10: 0134518322 ISBN 13: 9780134518329
New Quantity Available: 1
Seller:
Majestic Books
(London, ,, United Kingdom)
Rating
[?]

Book Description Prentice-Hall. Condition: New. pp. 304. Seller Inventory # 5269419

More information about this seller | Contact this seller

Buy New
US$ 47.37
Convert currency

Add to Basket

Shipping: US$ 7.08
From United Kingdom to U.S.A.
Destination, rates & speeds

3.

R. L. Constable
Published by Prentice Hall (1986)
ISBN 10: 0134518322 ISBN 13: 9780134518329
New Hardcover Quantity Available: 1
Seller:
Irish Booksellers
(Portland, ME, U.S.A.)
Rating
[?]

Book Description Prentice Hall, 1986. Condition: New. book. Seller Inventory # M0134518322

More information about this seller | Contact this seller

Buy New
US$ 69.80
Convert currency

Add to Basket

Shipping: US$ 3.27
Within U.S.A.
Destination, rates & speeds