Logic for computer science: Foundations of automatic theorem proving (Harper & Row computer science and technology series)

Gallier, Jean H

ISBN 10: 0060422254 ISBN 13: 9780060422257
Verlag: Harper & Row, 1986
Sprache: Englisch
Zustand: Neu Hardcover

Verkauft von The Book Spot, Sioux Falls, MN, USA

AbeBooks-Verkäufer seit 5. Februar 2013

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

Alle Artikel dieses Verkäufers anzeigen


Neu - Hardcover

Zustand: Neu

Preis:
EUR 116,09
Kostenlos für den Versand innerhalb von/der USA

Anzahl: 1 verfügbar

In den Warenkorb legen