Implementing Mathematics with the NUPRL Proof Development System
Constable, Robert L.
ISBN 10: 0134518322 ISBN 13: 9780134518329
Published by Pearson Education, Limited, 1986
Used
Hardcover
From
Better World Books Ltd, Dunfermline, United Kingdom
Seller rating 5 out of 5 stars
AbeBooks Seller since 13 October 2008
This specific item is no longer available.
About this Item
Description:
Ships from the UK. Used book that is in clean, average condition without any missing pages. Seller Inventory # 16820056-20
Bibliographic Details
Title: Implementing Mathematics with the NUPRL ...
Publisher: Pearson Education, Limited
Publication Date: 1986
Binding: Hardcover
Condition: Good
Top Search Results from the AbeBooks Marketplace
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
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 # ABEOCT25-60086
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 # ABNR-125956
Stock Image
Implementing Mathematics with the Nuprl Proof Development System
Seller: Majestic Books, Hounslow, United Kingdom
Seller rating 4 out of 5 stars
Condition: Used. pp. 304. Seller Inventory # 5269419
Buy Used
£ 34.69
£ 6.50 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 1 available
Stock Image
Implementing Mathematics With the Nuprl Proof Development System
Seller: Books-R-Keen, DuBois, PA, U.S.A.
Seller rating 4 out of 5 stars
hardcover. Condition: New. Seller Inventory # 38A28558
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
Stock Image
Implementing Mathematics with the Nuprl Proof Development System
Seller: Biblios, Frankfurt am main, HESSE, Germany
Seller rating 4 out of 5 stars
Condition: Used. pp. 304. Seller Inventory # 182611326
Stock Image
Implementing Mathematics With the Nuprl Proof Development System
Seller: ALLBOOKS1, Direk, SA, Australia
Seller rating 5 out of 5 stars
Brand new book. Fast ship. Please provide full street address as we are not able to ship to P O box address. Seller Inventory # SHAK60086