Loading... Please wait...
Untitled Document

Moe's Books
2476 Telegraph Ave.
Berkeley CA 94704
-------------------------------
Open 10 to 10 daily
Phone: (510) 849-2087
Fax: (510) 849-9938

More Moe's
Art & Antiquarian Shop
---------------------------------
Open noon to 6 daily
Phone: (510) 849-2133

 

Our Newsletter


Automation of Reasoning: Classical Papers on Computational Logic, 1957-1966; Siekmann, Jorg; Wrightson, Graham, Eds. (#UB 1066371)

Image 1
  • Image 1
Price:
$40.00
SKU:
UB1066371
Availability:
1
Shipping:
Calculated at checkout
Gift Wrapping:
Options available
Quantity:

Product Description

Springer Verlag 1983 (Binding: Hard Cover Jacket: No Jacket) Volume 1only. Pages browned. Cover scuffed. Fair Warehoused - call/e-mail for in-store pickup.

Find Similar Products by Category

Write your own product review

Product Reviews

This product hasn't received any reviews yet. Be the first to review this product!