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 - 9780521356534
- Item No : 355279542388
- Condition : Brand New
- Brand : No brand Info
- Seller : books--etc
- Current Bid : US $69.69
-
* Item Description
- ISBN-13: 9780521356534, 978-0521356534. Introduction to Higher-Order Categorical Logic. In Part II, it is demonstrated that another formulation of higher order logic (intuitionistic type theories) is closely related to topos theory.
★ Recommended Products Related To This Item
-
- Introduction to Logic
- $ 59.44
♥ Best Selling Products in this category
-
- NO GRID Survival Projects
- $ 37.00
