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.
Semantics and Logics of Computation by Pitts, Andrew M. The whole set have been edited to form a coherent introduction to these topics, most of which have not been presented pedagogically before. Title Semantics and Logics of Computation.
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.