Logic for Computer Science: Foundations of Automatic Theorem Proving

Gallier, Jean H.

ISBN 10: 0060422254 ISBN 13: 9780060422257
Verlag: HarperCollins Publishers, 1986
Sprache: Englisch
Gebraucht Zustand: Good Hardcover

Verkäufer ThriftBooks-Atlanta, AUSTELL, GA, USA

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

AbeBooks-Verkäufer seit 24. März 2009

Alle Artikel dieses Verkäufers anzeigen


Gebraucht - Hardcover

Preis: EUR 16,15 Währung umrechnen
EUR 10,43 für den Versand von USA nach Deutschland Versandziele, Kosten & Dauer

Anzahl: 1 verfügbar

In den Warenkorb legen