Verwandte Artikel zu First-Order Logic and Automated Theorem Proving (Texts...
First-Order Logic and Automated Theorem Proving (Texts & Monographs in Computer Science) - Hardcover
Weitere beliebte Ausgaben desselben Titels
Suchergebnisse für First-Order Logic and Automated Theorem Proving (Texts...
Foto des Verkäufers
First-Order Logic and Automated Theorem Proving
Verlag:
Springer Verlag, New York, 1990
ISBN 10: 0387972331
ISBN 13: 9780387972336
Gebraucht
Hardcover
Erstausgabe
Anbieter: Works on Paper, DeKalb, IL, USA
Verkäuferbewertung 4 von 5 Sternen
Hardcover. Zustand: Very Good. No Jacket. First Edition. A very good copy of the first hard cover edition (full number line ending with 1), lacking a dust-jacket, no doubt as issued. Previous owner's modest ex-libris stamp to front endsheet, else the text is wholly unmarked, pristine, and the binding bright and fresh in appearance. A sharp copy. Bestandsnummer des Verkäufers 014467
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
First-Order Logic and Automated Theorem Proving (Monographs in Computer Science)
Anbieter: book-link, Nufringen, BW, Deutschland
Verkäuferbewertung 5 von 5 Sternen
hardcover. Zustand: Sehr gut. 257 Seiten; M25-07-S-17-VG Sprache: Deutsch Gewicht in Gramm: 2. Bestandsnummer des Verkäufers 35516
Anzahl: 1 verfügbar
Foto des Verkäufers
First-Order Logic and Automated Theorem Proving (Monographs in Computer Science)
Anbieter: NEPO UG, Rüsselsheim am Main, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: Sehr gut. 242 Seiten ex Library Book aus einer wissenschafltichen Bibliothek Altersfreigabe FSK ab 0 Jahre Sprache: Englisch Gewicht in Gramm: 969 38,9 x 20,1 x 11,3 cm, Gebundene Ausgabe. Bestandsnummer des Verkäufers 388362
Anzahl: 1 verfügbar