Items related to Implementing Mathematics With the Nuprl Proof Development...
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 for those inclined to basic research in the area
- Present research which has arisen as we have worked on the Nuprl system
"synopsis" may belong to another edition of this title.
- PublisherPrentice Hall
- Publication date1986
- ISBN 10 0134518322
- ISBN 13 9780134518329
- BindingHardcover
- LanguageEnglish
- Edition number1
- Number of pages304
Search results for Implementing Mathematics With the Nuprl Proof Development...
Stock Image
Implementing Mathematics With the Nuprl Proof Development System
Seller: HPB-Red, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
hardcover. Condition: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority! Seller Inventory # S_393597538
Quantity: 1 available
Stock Image
Implementing Mathematics with the Nuprl Proof Development System
Seller: ThriftBooks-Atlanta, AUSTELL, GA, U.S.A.
Seller rating 5 out of 5 stars
Hardcover. Condition: As New. No Jacket. Pages are clean and are not marred by notes or folds of any kind. ~ ThriftBooks: Read More, Spend Less 1.01. Seller Inventory # G0134518322I2N00
Quantity: 1 available
Stock Image
Implementing Mathematics With the Nuprl Proof Development System
Seller: Ammareal, Morangis, France
Seller rating 5 out of 5 stars
Hardcover. Condition: Très bon. Ancien livre de bibliothèque. Edition 1986. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 1986. Ammareal gives back up to 15% of this item's net price to charity organizations. Seller Inventory # E-843-035
Quantity: 1 available
Stock Image
Implementing Mathematics With The Nuprl Proof Development System
Seller: Basi6 International, Irving, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Seller Inventory # ABEJUNE24-60940
Quantity: 1 available
Stock Image
Implementing Mathematics With The Nuprl Proof Development System
Seller: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide. Seller Inventory # ABTA-274789
Quantity: 1 available
Stock Image
Implementing Mathematics With the Nuprl Proof Development System
Seller: Books-R-Keen, DuBois, PA, U.S.A.
Seller rating 5 out of 5 stars
hardcover. Condition: New. Seller Inventory # 38A28558
Quantity: 1 available
Stock Image
Implementing Mathematics with the Nuprl Proof Development System
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: Used. pp. 304 1st Edition. Seller Inventory # 262611316
Quantity: 1 available
Stock Image
Implementing Mathematics with the Nuprl Proof Development System
Seller: Majestic Books, Hounslow, United Kingdom
Seller rating 5 out of 5 stars
Condition: Used. pp. 304. Seller Inventory # 5269419
Quantity: 1 available
Stock Image
Implementing Mathematics with the Nuprl Proof Development System
Seller: Biblios, Frankfurt am main, HESSE, Germany
Seller rating 5 out of 5 stars
Condition: Used. pp. 304. Seller Inventory # 182611326
Quantity: 1 available
Stock Image
Implementing Mathematics With the Nuprl Proof Development System
Seller: Mispah books, Redhill, SURRE, United Kingdom
Seller rating 4 out of 5 stars
Hardcover. Condition: Very Good. Very Good. book. Seller Inventory # ERICA77301345183226
Quantity: 1 available