Ask a question or
Order this book


Browse our books
Search our books
Book dealer info



Title: Automated Theorem Proving: A Logical Basis. Fundamental Studies in Computer Science, Vol. 6.
Description: Amsterdam (NL), North-Holland. 1978. 405 p., Hardcover. Good condition according to age. Note of ownership. Paper slightly brownished at the edges. Free shipping within Germany. Shipping costs to EU-countries: 9.50 EUR, to non-EU-countries: 15.00 EUR.

Keywords: Mathematics, Logik ISBN: 9780720404999

Price: EUR 36.70 = appr. US$ 39.89 Seller: Antiquariat Thomas Haker
- Book number: 861127

See more books from our catalog: Mathematik