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 Studie
- Item No : 396646786572
- Condition : Brand New
- Brand : No brand Info
- Seller : brenhambookcompany
- Current Bid : US $83.01
-
* Item Description
- Part II demonstrates 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
-
- Introduction to Logic
- $ 13.52
♥ Best Selling Products in this category
-
- NO GRID Survival Projects
- $ 37.00
