Symbolic Logic and Mechanical Theorem Proving.
Chang, Chin-Liang / Richard Char-Tung Lee
Verkauft von Antiquariat Tode, Berlin, Deutschland
AbeBooks-Verkäufer seit 10. September 2015
Gebraucht - Hardcover
Anzahl: 1 verfügbar
In den Warenkorb legen