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.
Introduction to Higher-order Categorical Logic (Cambridge Studies in Advanced
- Item No : 177271661639
- Condition : Brand New
- Brand : No brand Info
- Seller : loveourprices2
- Current Bid : US $72.18
-
* Item Description
- In Part II, it is demonstrated that another formulation of higher order logic (intuitionistic type theories) is closely related to topos theory. Part III is devoted to recursive functions. The authors have included an introduction to category theory and develop the necessary logic as required, making the book essentially self-contained.
★ Recommended Products Related To This Item
♥ Best Selling Products in this category
