Homotopy Type Theory _ Univalent Foundations of Mathematics

NA

Editore: Univalent Foundations Program, Princeton, 2013

Riguardo questo articolo

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

Codice articolo 72647

Dati bibliografici

• Titolo: Homotopy Type Theory _ Univalent Foundations of Mathematics
• Editore: Univalent Foundations Program, Princeton
• Data di pubblicazione: 2013
• Rilegatura: Paperback
• Edizione: Paperback Octavo.
• Condizione: Very good
• Cataloghi dei venditori:
  • Mathematics