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.
The Clausal Theory of Types: 21 (Cambridge Tracts in Theoretical Computer Science, Series Number 21). Author:Wolfram, D. A. Publisher:Cambridge University Press. Book Binding:Hardback. World of Books USA was founded in 2005.
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.