Picture 1 of 1

Stock photo
Stock photo
Handbook of Practical Logic and Automated Reasoning by John Harrison (English) H - Picture 1 of 1

Handbook of Practical Logic and Automated Reasoning by John Harrison (Hardcover, 2009)

Be the first towrite a review.
  • thenilestore (1211391)
  • 98.2% positive Feedback
Price:
AU $245.53
Free postage
Estimated delivery Thu, 23 May - Wed, 29 May
Returns:
30-day returns. Buyer pays for return postage.
Condition:
Brand new
The mathematical logic foundations are described in conjunction with practical application, all with the minimum of prerequisites. This book is ideally suited for those seeking a one-stop source for the general area of automated reasoning.