Cozy Library
  • Advanced Search
    • Guest

Uploading...

Please do not refresh the page.
  • Browse
  • Books
  • Shelves

Discover (Random Books)

Peopleware: Productive Projects and Teams

Peopleware: Productive Projects and Teams

Tom DeMarco

A brief introduction to type theory and the univalence axiom

A brief introduction to type theory and the univalence axiom

Jackson Macor

Homotopy Type Theory: Univalent Foundations of Mathematics

Homotopy Type Theory: Univalent Foundations of Mathematics

Univalent Foundations Program

Platform

Platform

Cynthia Johnson

Category: http://www.archive.org/details/historiesofherod00hero

The histories of Herodotus

The histories of Herodotus

Herodotus

Book Details

...