Homotopy Type Theory _ Univalent Foundations of Mathematics

NA

Published by Univalent Foundations Program, Princeton, 2013

About this Item

wraps, 605 pp Standard shipping (no tracking) / Priority (with tracking) / Custom quote for large or heavy orders.

Seller Inventory # 72647

Bibliographic Details

• Title: Homotopy Type Theory _ Univalent Foundations of Mathematics
• Publisher: Univalent Foundations Program, Princeton
• Publication Date: 2013
• Binding: Paperback
• Edition: Paperback Octavo.
• Condition: Very good
• Seller catalogs:
  • Mathematics