DotCom

Enable

Categorical Logic and Type Theory (Studies in Logic and the Foundations of Mathematics) (Studies in Logic and the Foundations of Mathematics) : B. Jacobs

Customers also bought these products:

Categories for Types (Cambridge Mathematical Textbooks) Author: Roy L. Crole Manufacturer: Cambridge University Press ListPrice: $65.00 Offer: $58.50	Categories for the Working Mathematician (Graduate Texts in Mathematics) Author: Saunders Mac Lane Manufacturer: Springer ListPrice: $69.95 Offer: $55.96	Introduction to Higher-Order Categorical Logic (Cambridge Studies in Advanced Mathematics) Author: J. Lambek Manufacturer: Cambridge University Press ListPrice: $50.00 Offer: $45.00
An Introduction to Non-Classical Logic: From If to Is (Cambridge Introductions to Philosophy) Author: Graham Priest Manufacturer: Cambridge University Press ListPrice: $34.99 Offer: $31.49	Stone Spaces (Cambridge Studies in Advanced Mathematics) Author: Peter T. Johnstone Manufacturer: Cambridge University Press ListPrice: $50.00 Offer: $41.21	Sheaves in Geometry and Logic: A First Introduction to Topos Theory (Universitext) Author: Saunders MacLane Manufacturer: Springer ListPrice: $79.95 Offer: $68.91
Set Theory and Its Philosophy: A Critical Introduction Author: Michael Potter Manufacturer: Oxford University Press, USA ListPrice: $49.95 Offer: $44.95	Conceptual Mathematics: A First Introduction to Categories Author: F. William Lawvere Manufacturer: Cambridge University Press ListPrice: $65.00 Offer: $58.50	Types and Programming Languages Author: Benjamin C. Pierce Manufacturer: The MIT Press ListPrice: $72.00 Offer: $57.60
Advanced Topics in Types and Programming Languages Manufacturer: The MIT Press ListPrice: $68.00 Offer: $48.96

Add to Favorites

Secure Checkout

Sitemap | Copyright 2006 www.dotcomenable.com | Contact Us