Logic for Computer Science - Foundations of Automatic Theorem Proving
Gallier, Jean H.
Sold by Andere Welten Medienvertriebs GmbH, Ahrensburg, SH, Germany
AbeBooks Seller since August 20, 2015
Used - Soft cover
Ships from Germany to U.S.A.
Quantity: 1 available
Add to basket