Implementing Mathematics With the Nuprl Proof Development System

Constable, R. L.

ISBN 10: 0134518322 ISBN 13: 9780134518329
Verlag: Prentice Hall, 1986
Sprache: Englisch
Zustand: Neu Hardcover

Verkauft von Books-R-Keen, DuBois, PA, USA

AbeBooks-Verkäufer seit 22. März 2023

Verkäuferbewertung 4 von 5 Sternen 4 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Alle Artikel dieses Verkäufers anzeigen


Neu - Hardcover

Zustand: Neu

Preis:
EUR 43,12
EUR 3,48 Versand
Versand innerhalb von USA

Anzahl: 1 verfügbar

In den Warenkorb legen