Try our new mobile site
Best Book Buys
Welcome Books Music Video Electronics Bikes
 
HomeBrowseBookstoresBestsellersHot DealsBook ClubsTextbooks Wish ListMy AccountHelp
  Search:
   
 
 

Logic for Computer Science: Foundations of Automatic Theorem Proving


Author: Jean H. Gallier
Format: Hardcover
Publication Date: January 1986
Publisher: John Wiley & Sons Inc
ISBN-10: 0471603287
ISBN-13: 9780471603283
List Price: $51.95

 
 
Other Formats:
Book     Jan 1986

Add to List
    This book is part of the Harper & Row Computer Science and Technology Series series.


Sorry...we did not find this book for sale at any of our member stores.





© Copyright 1997-2008, Best Web Buys, Inc. All rights reserved.
All trademarks are owned by the respective company or Best Web Buys.
Please send comments or problems to the
Data provided by Muze, Inc. © Copyright 1995-2008 Muze Inc.
For personal non-commercial use only. All rights reserved.
Powered by Muze.