Implementing Mathematics with the NUPRL Proof Development System
Constable, Robert L.
ISBN 10: 0134518322 ISBN 13: 9780134518329
Verlag: Pearson Education, Limited, 1986
Gebraucht
Hardcover
Verkäufer
Better World Books Ltd, Dunfermline, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
AbeBooks-Verkäufer seit 13. Oktober 2008
Dieser Artikel ist nicht mehr verfügbar.
Beschreibung
Beschreibung:
Ships from the UK. Used book that is in clean, average condition without any missing pages. Bestandsnummer des Verkäufers 16820056-20
Bibliografische Details
Titel: Implementing Mathematics with the NUPRL ...
Verlag: Pearson Education, Limited
Erscheinungsdatum: 1986
Einband: Hardcover
Zustand: Good
Beste Suchergebnisse beim ZVAB
Beispielbild für diese ISBN
Implementing Mathematics With the Nuprl Proof Development System
Anbieter: Ammareal, Morangis, Frankreich
Verkäuferbewertung 5 von 5 Sternen
Hardcover. Zustand: 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. Artikel-Nr. E-843-035
Gebraucht kaufen
EUR 22,49
EUR 20,50 Versand
Versand von Frankreich nach USA
Versand von Frankreich nach USA
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Implementing Mathematics with the Nuprl Proof Development System
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
Zustand: Used. pp. 304. Artikel-Nr. 5269419
Gebraucht kaufen
EUR 40,13
EUR 7,50 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Implementing Mathematics With The Nuprl Proof Development System
Anbieter: Romtrade Corp., STERLING HEIGHTS, MI, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: 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. Artikel-Nr. ABNR-125956
Beispielbild für diese ISBN
Implementing Mathematics with the Nuprl Proof Development System
Anbieter: Biblios, Frankfurt am main, HESSE, Deutschland
Verkäuferbewertung 4 von 5 Sternen
Zustand: Used. pp. 304. Artikel-Nr. 182611326
Gebraucht kaufen
EUR 41,12
EUR 9,95 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 1 verfügbar