When you click on links to various merchants on this site and make a purchase, this can result in this site earning a commission. Affiliate programs and affiliations include, but are not limited to, the eBay Partner Network.
ISBN-13: 9781784561277, 978-1784561277. Logic, Proof and Computation second edition. LPC is designed as a multidisciplinary reader for students in computing, philosophy and mathematics. Publisher: Upfront Publishing, United Kingdom.
When you click on links to various merchants on this site and make a purchase, this can result in this site earning a commission. Affiliate programs and affiliations include, but are not limited to, the eBay Partner Network.