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.
Roland Backhouse leads the Foundations of Programming research group at the University of Nottingham. A Science of Computing. A Searching Problem and Its Solution. Calculational Proof. Calculational Logic: Part 1.
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.