Automated Proof Search in Non-Classical Logics: Efficient Matrix Proof Methods for Modal and Intuitionistic Logics \ Automated Deduction: In Nonclassical Logics.

Wallen, Lincoln

Verlag: MIT, Cambridge, Massachusetts , London, 1990
Zustand: Gebraucht Hardcover

Verkauft von The Book Gallery, Jerusalem, Israel

AbeBooks-Verkäufer seit 11. Juni 2002

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

Alle Artikel dieses Verkäufers anzeigen


Gebraucht - Hardcover

Preis:
EUR 56,70
EUR 51,00 Versand
Versand von Israel nach USA

Derzeit nicht verfügbar auf AbeBooks.de

Finden Sie diesen Artikel auf AbeBooks.com

Zu AbeBooks.com gehen