Automated Theorem Proving: A Logical Basis. Fundamental Studies in Computer Scie
43,87 €
Amsterdam (NL), North-Holland. 1978. 405 p., Hardcover. Sprache: Englisch ISBN: 0720404991 EAN: 9780720404999 Bestell-Nr: 861127 Bemerkungen: Good condition according to age. Note of ownership. Paper slightly brownished at the edges. Schlagworte: Mathematics, Logik .
Jetzt bei Ebay:
