Handbook of Practical Logic and Automated Reasoning

A one-stop reference, self-contained, with theoretical topics presented in conjunction with implementations for which code is supplied. Read More

A one-stop reference, self-contained, with theoretical topics presented in conjunction with implementations for which code is supplied. Read Less

• All from $128.80
• New Books from $146.92
• Used Books from $216.00
• eBook from $128.80

• • eBook Details

  	This is a digital edition of this title. Rent eBook 180 Day Rental: $128.80 (Expires Oct 27, 2025) Buy eBook Lifetime Access: $161.00 Title: Handbook of Practical Logic and Automated Reasoning by John Harrison Publisher: Cambridge University Press Print ISBN: 9780521899574, 0521899575 eText ISBN: 9781139637886 Edition: 2009 1st edition Format: EPUB eBook	$128.80 Rent eBook This is a digital eBook Nothing will be shipped to you Works with web browsers and the VitalSource app on all Windows, Mac, Chromebook, Kindle Fire, iOS, and Android devices Most eBooks are returnable within 14 days of purchase Questions? See our eBook FAQ